Coalgebras and Monads in the Semantics of Java (2002)

by Bart Jacobs, Erik Poll
Venue:Theoretical Computer Science