Programs and their Proofs: An Algebraic Approach (1972)

by P J Landin, R Burstall
Venue:Machine Intelligence 4