T. Mens, K. Mens, и P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), том 873 из Lecture Notes in Computer Science, стр. 326--345. Springer-Verlag, (1994)
C. Hewitt, P. Bishop, и R. Steiger. IJCAI'73: Proceedings of the 3rd International Joint Conference on Artificial Intelligence, стр. 235--245. San Francisco, CA, USA, Morgan Kaufmann Publishers Inc., (1973)
V. Saraswat, R. Jagadeesan, M. Michael, и C. von Praun. PPoPP '07: Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, стр. 161--172. New York, NY, USA, ACM, (2007)
S. Fowler, S. Lindley, и P. Wadler. 31st European Conference on Object-Oriented Programming (ECOOP 2017), том 74 из Leibniz International Proceedings in Informatics (LIPIcs), стр. 11:1--11:28. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2017)