Andrew Butterfield Klemens Haegele 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999 IWFM Workshops in Computing BCS 1999 db/conf/iwfm/iwfm1999.html