Source-to-source conversion based on formal definition

From MaRDI portal
Publication:2277835