Integrated Formal Methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings - Eerke A. Boiten, John Derrick, Graeme Smith ((Lecture Notes in Computer Science))