P. Ölveczky, P. Kosiuczenko, and M. Wirsing. Formal Methods for Industrial Applications, volume 1165 of Lecture Notes in Computer Science, page 379-402. Springer, (1995)
N. Martí-Oliet, P. Ölveczky, and C. Talcott. Logic, Rewriting, and Concurrency, volume 9200 of Lecture Notes in Computer Science, page 1-47. Springer, (2015)