On homomorphisms, correctness, termination, unfoldments and equivalence of ow diagram programs, in (1974)

by J A Goguen
Venue:Journal of Computer and System Sciences 8