Author: CAiSE '95 (1995 Jyväskylä, Finland)