Lawful Functions and Program Veri (1990)

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