Lawful functions and program verification (1990)

by S Thompson
Venue:in Miranda. Science of Computer Programming