Garavel, H., & Hatcliff, J. (2003). Tools and algorithms for the construction and analysis of systems: 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings. Berlin: Springer.

Garavel, Hubert, and John Hatcliff. Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held As Part of the Joint European Conferences On Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : Proceedings. Berlin: Springer, 2003.

Garavel, Hubert, and John Hatcliff. Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held As Part of the Joint European Conferences On Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : Proceedings. Berlin: Springer, 2003.