The Algebraic Anatomy of Programs. - Leon S. Levy; R. Melville (Comput. J., 1977)