Foundations of software science and computation structures : 6th International Conference,
FOSSACS 2003, held as part of the Joint European conferences on theory and practice
of software, ETAPS 2003, Warsaw, Poland, april 2003 : proceedings / Ed. by Andrew
D. Gordon, Springer, 2003