Integrated formal methods 4th international conference, IFM 2004, Canterbury, UK, April 4 - 7, 2004 ; proceedings (Lecture notes in computer science, 2004)