C. Chau, W. Jr., M. Roncken, und I. Sutherland. Haifa Verification Conference, Volume 10629 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2017)
P. Joshi, P. Beerel, M. Roncken, und I. Sutherland. Concurrency, Compositionality, and Correctness, Volume 5930 von Lecture Notes in Computer Science, Seite 260-276. Springer, (2010)