Jim Davies Wolfram Schulte Michael Barnett Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings ICFEM Lecture Notes in Computer Science 3308 Springer 2004 3-540-23841-7 db/conf/icfem/icfem2004.html