James Harland: Computing: the Australasian Theory Symposium, CATS 2002, Melbourne, Australia. Electronic Notes in Theoretical Computer Science 61, Elsevier 2002