A language-independent proof system for full program equivalence
scientific article; zbMATH DE number 6684423
scientific article