On homomorphisms, correctness, termination, unfoldments, and equivalence of flow diagram programs
scientific article; zbMATH DE number 3448069