David Aspinall
Stefan Berghofer
David von Oheimb
Farhad Mehta
Stephan Merz
Leonor Prensa Nieto
Cornelia Pusch
Bernhard Rumpe (wants a signed copy!)
Norbert Schirmer
Martin Strecker
Essential colleagues:
Harald Ganzinger
Bob Boyer
Department of Computer Sciences
University of Texas at Austin
Austin, TX 78712-1188 U.S.A.
J Moore
Department of Computer Sciences
Taylor Hall 2.124
University of Texas at Austin
Austin, TX 78712-1188 U.S.A.
Frank Pfenning
Department of Computer Science
Wean Hall 8117
Carnegie Mellon University
Pittsburgh, PA 15213-3891, U.S.A.
Shankar
SRI International
MS EL256,
333 Ravenswood Avenue,
Menlo Park, CA, 94025-3493
Prof. Andrei A Voronkov (?)
Department of Computer Science
Manchester University
Oxford Road
Manchester M13 9PL
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
I-56124 Pisa, Italy
Stefano.Bistarelli@iat.cnr.it
Gergely BUDAY
H-3200 Gy\"ongy\"os
Kont biro u. 23.
HUNGARY
gergoe@math.bme.hu
Tanja Vos
c/ Ing. Joaquin Benlloch 85-Esc A-25
46026 Valencia
Spain
Further colleagues:
Ursula Martin