Coalgebras and monads in the semantics of Java (2003)

by B Jacobs, E Poll
Venue:Theoretical Computer Science