Sverre Storøy Institutt for Informatikk Thormøhlensgate 55 N-5020 Bergen, Norway Telefon: +47 55584165 Telefax: +47 55584199