Coalgebras and monads in the semantics of Java
scientific article; zbMATH DE number 1857230
scientific article