John Fitzgerald Ian J. Hayes Andrzej Tarlecki FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings 3582 2005 3-540-27882-6 FM Lecture Notes in Computer Science Springer db/conf/fm/fm2005.html