Integrated Formal Methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. - Michael Butler, Luigia Petre, Kaisa Sere ((Lecture Notes in Computer Science))