Robert J. van Glabbeek
National ICT Australia
Locked Bag 6016
The University of New South Wales
Sydney, NSW 1466
Australia
rvg@cs.stanford.edu