On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes

Joseph A. Goguen

Browse the full FOCS paper archive.