Terms, Proofs, and Refinement (Extended abstract)

Terms, Proofs, and Refinement (Extended abstract) Rod M. Burstall 2-7 conf/lics/LICS9 1994 LICS db/conf/lics/lics94.html#Burstall94