The Colloquium on Programming, Paris, 9-l I April 1974

• Aiello, L. and Aiello, M., (1974) Aiello, L. and Aiello, M., "Proving Program Correctness in LCF"