doc-src/TutorialI/free-copies

Cambridge

+
−* means: has received copy.
+
−
+
−David Aspinall*
+
−Clemens Ballarin*
+
−Gertrud Bauer*
+
−Stefan Berghofer*
+
−Gerwin Klein*
+
−David von Oheimb*
+
−Farhad Mehta*
+
−Stephan Merz
+
−Leonor Prensa Nieto*
+
−Cornelia Pusch
+
−Bernhard Rumpe	(wants a signed copy!)*
+
−Norbert Schirmer*
+
−Martin Strecker*
+
−Ralf Steinbrueggen*
+
−
+
−Essential colleagues:
+
−
+
−Prof. Harald Ganzinger*
+
−Max-Planck-Institut f�r Informatik
+
−Im Stadtwald
+
−66123 Saarbr�cken
+
−
+
−Prof. Bob Boyer*
+
−Department of Computer Sciences
+
−University of Texas at Austin
+
−Austin, TX 78712-1188 U.S.A.
+
−
+
−Prof. J Moore*
+
−Department of Computer Sciences
+
−University of Texas at Austin
+
−Austin, TX 78712-1188
+
−U.S.A.
+
−
+
−Prof. Frank Pfenning*
+
−Department of Computer Science
+
−Carnegie Mellon University
+
−Pittsburgh, PA 15213-3891
+
−U.S.A.
+
−
+
−Dr. Shankar*
+
−SRI International
+
−333 Ravenswood Avenue,
+
−Menlo Park, CA, 94025-3493
+
−U.S.A.
+
−
+
−Prof. Andrei Voronkov*
+
−Department of Computer Science
+
−The University of Manchester
+
−Oxford Road
+
−Manchester M13 9PL
+
−England
+
−
+
−Cambridge people:
+
−Tony Hoare
+
−Mike Gordon*
+
−Sidi Ehmety
+
−Frederic Blanqui*
+
−James Margetson
+
−Robin Milner*
+
−
+
−
+
−(for contributing comments)
+
−
+
−dr. Stefano Bistarelli*
+
−Istituto per le Applicazioni Telematiche
+
−C.N.R. Pisa
+
−Area della Ricerca, Via G. Moruzzi, 1
+
−56124 Pisa
+
−Italien
+
−
+
−Gergely Buday*
+
−Karl-Ferlemann Str. 16.
+
−04177 Leipzig
+
−
+
−
+
−Tanja Vos*
+
−C/ Ing. Joaquin Benlloch 85-Esc A-25
+
−46026 Valencia
+
−Spain
+
−
+
−Further colleagues:
+
−
+
−Manfred Broy*
+
−
+
−Ursula Martin*
+
−School of Computer Science 
+
−University of St Andrews 
+
−St Andrews KY16 6SS 
+
−Scotland 
+
−UK