Simula Research Laboratory P.O. Box 134, N-1325 Lysaker, Department of Informatics, University of Oslo, Norway