Title :
On homomorphisms, simulations, correctness and subroutines for programs and program schemes
Author :
Goguen, J.A., Jr.
Keywords :
Algebra; Algorithms; Computer science; Humans; Logic; Mathematics; Programming profession; Proposals; Set theory; Shape;
Conference_Titel :
Switching and Automata Theory, 1972., IEEE Conference Record of 13th Annual Symposium on
Conference_Location :
USA
DOI :
10.1109/SWAT.1972.10
