[A2] _________________________ AMAST Links 02 01

This issue

was edited by Giuseppe Scollo, Arie van Deursen, Michael Johnson and Edmund Kazmierczak, thanks to contributions by:

Ewa Orlowska [O1], V. S. Alagar [M1],
Types Forum [M2], Didier Begay [C1],
Richard Gerber [C2], Michael Huth [C3],
Vassos Hadzilacos [C4], Pierre Lescanne [C5],
Jan Heering [C6], DMANet [C7],
Marianne Baudinet [C8], Jörg Desel [C9],
Roberto Tamassia [CA], [L3], Ugur Halici [CB],
Hajime Ishihara [CC], Hanne Riis Nielson [CD],
Jose Luiz Fiadeiro [CE], Bob Rosebrugh [CF],
Zena Matilde Ariola [J1], Michiel Smid [J2],
Dave Schmidt [J3], H. Levent Akin [J4],
Eike Best [J5], Michael Johnson [J6],
Marta Kwiatkowska [J7], Gordon Plotkin [J8],
Boaz Patt-Shamir [J9], Vijaya Ramachandran [JA],
Clyde Monma [JB], George Milne [JC],
A. Brandstädt [JD], Mike Barnett [JE],
Richard Hull [L1], Dave Gladstein [L2],
Joe Wells [L4], Jean Gallier [L4],
John Mitchell [L4], Jean-Yves Girard [L5],
Ch. Berline [L6], David Espinosa [L7],
Marcel Crabb'e [L8], Maura Cerioli [L9],
Yves Lafont [P1], Peter Freyd [P2],
Ian Parberry [S1], Rolf Wanka [S2],
Dennis Grinberg [S3], Peter Baumann [S4],
Jose A. Manas [S5], Gerard Holzmann [S6],
Wiebe van der Hoek [S7].

This issue of AMAST Links is available in four forms:

a collection of hypertext files, available on the WWW . for the ToC-page, where links give access to individual pages;
a single hypertext file, available on the WWW .
a collection of plain-text files, one per page, each separately available (+) (see below)
a single plain-text file available by e-mail as well as (+) within the AMAST directory of the Twente WWW server, at URL http://www.cs.utwente.nl/data/amast/links/v02/i01/AL0201<pp>.txt where `<pp>' is either `-ToC' (for the ToC-page),or the 2-character page identifier (for one-page files), or empty (whole-issue file).

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 .