Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Burstall, R. An Algebraic Description of Programs with Assertions, Verification and Simulation, Proceedings of ACM Conference on Proving Assertions about Programs, Las Cruces, New Mexico pp.7–14,(1972).
2. Landin, P.J. A program machine symmetric automata theory. Machine Intelligence 5 (eds. B. Meltzer and D. Michie) Edinburgh University Press, pp.99-120,(1969).
3. Manes, E., M. Arbib. Algebraic Approaches to Program Semantics, Springer-Verlag, (1986)
4. Mac Lane, S. Categories for Working Mathematicians, Springer-Verlag, (1971).
5. Goguen, J., On Homomorphisms, Correctness, Termination, Unfoldment and Equivalence of Flow Diagram Programs, Journal of Computer and System Sciences 8, pp.333–365 (1974).