Aiello, L. and Aiello, M., "Proving Program Correctness in LCF"

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

Languages mentioned LCF {1972} Logic for Computable Functions