Integrated Formal Methods 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings Boiten, Eerke Heftet / 2004 / Engelsk