C. Borchert, и O. Spinczyk. Proceedings of the 8th Workshop on Programming Languages and Operating Systems, стр. 1-7. Monterey, California, ACM, (2015)
M. Kühnrich, и 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, стр. 198--212. Berlin, Heidelberg, Springer-Verlag, (2009)
S. Owre, J. Rushby, N. Shankar, и F. von Henke. том 670 из Lecture Notes in Computer Science, стр. 482--500. Odense, Denmark, Springer-Verlag, (апреля 1993)