A. Datta, A. Derek, J. Mitchell, и A. Roy. Electronic Notes in Theoretical Computer Science, 172 (0):
311 - 358(2007)<ce:title>Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin</ce:title>.
S. Tasiran, A. Sezgin, и S. Quadeer. Design and Validation of Concurrent Systems, 09361, Dagstuhl, Germany, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2010)
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)
K. Chaudhuri, D. Doligez, L. Lamport, и S. Merz. Theoretical Aspects of Computing – ICTAC 2010, том 6255 из Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)
M. Henzinger, T. Henzinger, и P. Kopke. Proceedings of the 36th Annual Symposium on Foundations of Computer Science, стр. 453--. Washington, DC, USA, IEEE Computer Society, (1995)