Monads and modularity (2002)

by C Lüth, N Ghani
Venue:In Frontiers of Combining Systems FroCoS’02, LNAI 2309