Integrated Formal Methods 4th International Conference, IFM 2004, Cnaterbury, UK, April 4-7, 2004. Proceedings - Boiten, Eerke A.; Derrick, John; Smith, Graeme (Springer Berlin Heidelberg, 2004)