H. Nielson, and F. Nielson. Theories of Programming and Formal Methods, volume 8051 of Lecture Notes in Computer Science, page 285-303. Springer, (2013)
A. Lluch-Lafuente, F. Nielson, and H. Nielson. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 427-450. Springer, (2015)