Author: CAiSE '91 (1991 Trondheim, Norway)