Algebraic processing of programming languages
scientific article; zbMATH DE number 1190228
scientific article