European joint conferences on theory and practice of software. 2003 : ETAPS, 2003 (Springer, 2003)