C. Borchert, und O. Spinczyk. Proceedings of the 8th Workshop on Programming Languages and Operating Systems, Seite 1-7. Monterey, California, ACM, (2015)
M. Kühnrich, und U. Nestmann. Proceedings of the Joint 11th IFIP WG 6.1 International Conference FMOODS '09 and 29th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, Seite 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)
S. Owre, J. Rushby, N. Shankar, und F. von Henke. Volume 670 von Lecture Notes in Computer Science, Seite 482--500. Odense, Denmark, Springer-Verlag, (April 1993)