David Sinclair J. Paul Gibson 4th Irish Workshop on Formal Methods, IWFM 2000, Maynooth, Ireland, 5th-6th July 2000 IWFM Workshops in Computing BCS 2000 db/conf/iwfm/iwfm2000.html