Integrated Formal Methods 4Th International Conference Ifm 2004 Cnaterbury Uk April 4 7 2004 Proceedings