A logic for Miranda, revisited (1995)

by S Thompson
Venue:Formal Aspects of Computing