mcl2acl.zip is a pkzip compressed archive of our emulation mcl in Acl/Windows mcl2acl2.sea is a stuffit self extracting archive of the same Questions or comments to Karsten A. Poeck Lehrstuhl fuer Informatik VI Universitaet Wuerzburg Allesgrundweg 12 97218 Gerbrunn Germany E-mail: poeck@informatik.uni-wuerzburg.de Tel. ++ 49 931 70561 18 Fax ++ 49 931 70561 20