[M1] Anton Nijholt <anijholt@cs.utwente.nl>
[M2] David L. Parnas <parnas@triose.crl.mcmaster.ca>
[M3] Andrea Corradini <segragra@di.unipi.it>
[M4] Ugo Montanari <ugo@di.unipi.it>
[M5] Rowena Hart <rowena@softwords.bc.ca>
[M5] Jihad Jaam <gil@lim.univ-mrs.fr>
[M7] Bernard Courtois <Bernard.Courtois@imag.fr>
[M8] Ming Li <mli@math.uwaterloo.ca>
[M9] Falko Bause <bause@yvonne.informatik.uni-dortmund.de>
[MA] Richard Gerber <rich@cs.umd.edu>
[MB] Jan Heering <Jan.Heering@cwi.nl>
[MC] Phil Windley <windley@cs.byu.edu>
[MD] Jose D. P. Rolim <rolim@cui.unige.ch>
[ME] Ana Rosa Cavalli <Ana.Cavalli@hugo.int-evry.fr>
[MF] Lawrence C Paulson <Larry.Paulson@cl.cam.ac.uk>
[MG] Jiri Wiedermann <wieder@uivt.cas.cz>
[MH] Simon Peyton-Jones <simonpj@dcs.gla.ac.uk>
[MI] Harry Rudin <hr@zurich.ibm.com>
[C1] AMAST'96 Organization <amast96-info@informatik.uni-muenchen.de>
[C2] Dan Ionescu <ionescu@trix.genie.uottawa.ca>
[C3] Roberto Gorrieri <gorrieri@cs.unibo.it>
[C4] CMAA'96 Organization <cmaa@math.vanderbilt.edu>
[C5] Helene Kirchner <Helene.Kirchner@loria.fr>
[C6] Margje Punt <margje@cs.ruu.nl>
[C7] Jose A. Manas <pepe@dit.upm.es>
[C8] Rolf Wanka <icalp96@uni-paderborn.de>
[C9] Stephan Kepser <kepser@cis.uni-muenchen.de>
[CA] Peter Schroeder-Heister <psh@hume.informatik.uni-tuebingen.de>
[CB] ugo tab <tab96@dsi.unimi.it>
[CC] Richard Muise <rmuise@dragon.acadiau.ca>
[CD] Lesley Semmens <L.Semmens@lmu.ac.uk>
[CE] Robert Harper <Robert_Harper@terrier.fox.cs.cmu.edu>
[CF] James Harland <jah@cs.rmit.edu.au>
[CG] Vladimiro Sassone <vladi@daimi.aau.dk>
[CG] Bengt Nordstrom <bengt@cs.chalmers.se>
[J1] Abbas Edalat <ae@doc.ic.ac.uk>
[J2] Cris Calude <cristian@cs.auckland.ac.nz>
[J3] Gerard Holzmann <gerard@research.att.com>
[J4] --- <bixby@pivot.cam.rice.edu>
[J5] Bengt Jonsson <bengt@elaine.docs.uu.se>
[J6] Matthew Hennessy <matthewh@cogs.susx.ac.uk>
[J7] Indiana U. CS Faculty Search <search@cs.indiana.edu>
[J8] Roy L. Crole <rlc3@mcs.le.ac.uk>
[J9] --- <anthony@vax.lse.ac.uk>
[JA] Jiming Liu <jiming@kingfish.att.com>
[JB] Jiming Liu (see [JA])
[JC] Dominique Mery <Dominique.Mery@loria.fr>
[JD] Jose Manuel E. Valenca <jmv@di.uminho.pt>
[L1] Tobias Nipkow <tobias.nipkow@informatik.tu-muenchen.de>
[L2] Uffe Engberg <engberg@daimi.aau.dk>
[L3] Luc Longpre <longpre@cs.utep.edu>
[L4] Yves Lafont <lafont@lmd.univ-mrs.fr>
[L5] Stefano Guerrini <guerrini@di.unipi.it>
[L6] Maurice Herlihy <mph@cs.brown.edu>
[L7] Thomas Streicher <streicher@mathematik.th-darmstadt.de>
[L8] James Otto <otto@triples.math.mcgill.ca>
[L9] Davide Sangiorgi <davide@duick.cma.fr>
[LA] Gert Smolka <smolka@dfki.uni-sb.de>
[LB] Edmund Kazmierczak <eka@cs.uq.oz.au>
[LC] Yves Lafont (see [L4])
[LD] Lawrence C Paulson (see [MF])
[T1] Edmund Kazmierczak (see [LB])
[T2] James Harland (see [CF])
[T3] Jose Manuel E. Valenca (see [JD])
[T4] Coq Team <coq@pauillac.inria.fr>
[P1] Jerzy Tyszkiewicz <jurek@mephisto.informatik.rwth-aachen.de>
[P2] Bjarne Toft <btoft@imada.ou.dk>
[P3] Thomas Streicher (see [L7])
[S1] Jan Rossmann <rossmann@ti.uni-trier.de>
[S2] Luca Cardelli <luca@src.dec.com>
[S3] Todd Wareham <harold@csr.uvic.ca>
[S4] Baltzer Science Publishers <publish@baltzer.nl>
This issue of AMAST Links is available in four forms:
(+) within the AMAST directory of the Twente WWW server, at URLwhere `<pp>' is either `-ToC' (for the ToC-page),or the 2-character page identifier (for one-page files), or empty (whole-issue file).
http://www.cs.utwente.nl/data/amast/links/v02/i06/AL0206<pp>.txt
Note: This issue will also be available, in all of its four forms, by anonymous ftp from the AMAST repository at the University of Twente. File names will be the same as above, but under the ftp directory .