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