Author: CAiSE '94 (1994 Utrecht, Netherlands)