Author: CAiSE '93 (1993 Paris, France)