On an equivalence checking technique for algebraic models of programs
scientific article; zbMATH DE number 6107891