Eerke A. Boiten John Derrick Graeme Smith Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings IFM Lecture Notes in Computer Science 2999 Springer 2004 3-540-21377-5 db/conf/ifm/ifm2004.html