Notions of computation and mondad (1991)

by Eugenio Moggi
Venue:Inform. and Computing