Foundations of Software Science and Computational Structures 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software , ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings - Gordon, Andrew D.; Gordon, Andrew D. (Springer Berlin Heidelberg : Imprint: Springer, 2003)