Calculate categorically! Formal (1992)

by M M Fokkinga
Venue:Aspects of Computing