Ian MacColl (ianm@cs.uq.edu.au) is a doctoral student in the Software Verification Centre of the Computer Science Department of The University of Queensland, Australia. His research interests include formal methods, user interfaces, software testing and object-oriented and functional programming. His home page is located at http://www.cs.uq.edu.au/personal/ianm.
March 1997