The Programming Language Ada. Reference Manual American National Standards Institute, Inc. ANSI/MIL-STD-1815A-1983. Approved 17 February 1983 by David Hutchison, Takeo Kanade, Josef Kittler, Jon Kleinberg, Alfred Kobsa, Friedemann Mattern, John C. Mitchell, Moni Naor, Oscar M. Nierstrasz, C. Pandu Rangan, Bernhard Steffen, Sudan Madhu, Demetri Terzopoulos, J. Doug Tygar, Gerhard Weikum.

by Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon, Kobsa, Alfred, Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar M., Rangan, C. Pandu, Steffen, Bernhard, Madhu, Sudan, Terzopoulos, Demetri, Tygar, J. Doug, Weikum, Gerhard
Published 1983

Principles of Security and Trust Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, It... edited by David Basin, John C. Mitchell.

Published 2013

Theoretical Aspects of Computer Software International Symposium TACS ’94 Sendai, Japan, April 19–22, 1994 Proceedings edited by Masami Hagiya, John C. Mitchell.

Published 1994

Theoretical aspects of object-oriented programming : types, semantics, and language design edited by Carl A. Gunter and John C. Mitchell.

Published 1994

Exploring New Frontiers of Theoretical Informatics IFIP 18th World Computer Congress TC1 3rd International Conference on Theoretical Computer Science (TCS2004) 22–27 August 2004 To... edited by Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell.

Published 2004

Trust Management II Proceedings of IFIPTM 2008: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, June 18-20, 2008, Trondheim, Norway edited by Yücel Karabulut, John C. Mitchell, Peter Herrmann, Christian Damsgaard Jensen.

Published 2008