R. Demangeon, D. Hirschkoff, and D. Sangiorgi. Semantics and Algebraic Specification, volume 5700 of Lecture Notes in Computer Science, page 250-273. Springer, (2009)
D. Hirschkoff, J. Madiot, and D. Sangiorgi. Computing with New Resources, volume 8808 of Lecture Notes in Computer Science, page 307-322. Springer, (2014)