A logic for Miranda, Formal (1989)

by S Thompson
Venue:Aspects of Computing