Modular bisimulation theory for computations and values - Peter Mosses (Springer, 2013)
Lecture Notes in Computer Science