Programming and proving with function and control abstractions (1989)

by C L Talcott
Venue:Lecture Notes for the Western Institute of Computer Science