Algebraic translations, correctness and algebraic compiler construction
scientific article; zbMATH DE number 1190225
scientific article