Factoring an Adequacy Proof (1994)

by R L Crole, A D Gordon
Venue:FP’93 Glasgow Workshop on Functional Programming, Workshops in Computing