=========   ============================================================
==== ====   Peter D. Mosses                     mailto:pdmosses@brics.dk
=========   BRICS & Dept. of Computer Science   [= pdmosses@daimi.au.dk]
==== ====   University of Aarhus                http://www.brics.dk/~pdm
==== ====   Ny Munkegade, bldg. 540             telephone: +45 8942 3285
==== ====   DK-8000 Aarhus C, DENMARK           telefax:   +45 8942 3255