Bart__Jacobs
A formalisation of Java's exception mechanism
A logic for the Java Modeling Language JML
A monad for basic Java semantics
A tutorial on (co)algebras and (co)induction
Behaviour-refinement of coalgebraic specifications with coinductive correctness proofs
Coalgebraic specifications and models of deterministic hybrid systems
Coalgebras and monads in the semantics of Java
Invariants, bisimulations and the correctness of coalgebraic refinements
Java's Integral Types in PVS
Reasoning about Java classes (preliminary report
Translating dependent type theory into higher order logic