2 nd International Workshop on Applied Formal Methods in System Design June 18-19, 1997. Zagreb, Croatia : proceedings. - EUROPEAN COOPERATION IN THE FIELD OF SCIENTIFIC AND TECHNICAL RESEARCH; Lovrek, Ignac (Zagreb : Fakultet elektrotehnike i računarstva - Zagreb, 1997)