A Logic for Miranda (1989)

by S J Thompson
Venue:Formal Aspects of Computing