An approach to deciding the observational equivalence of Algol-like languages
scientific article; zbMATH DE number 2116238