R. Alur. Proceedings of the 11th International Conference on Computer Aided Verification (CAV'99), volume 1633 of Lecture Notes in Computer Science, page 8-22. Trento, Italy, Springer, (1999)
P. Pires, M. Benevides, and M. Mattoso. Web, Web-Services, and Database Systems, volume 2593 of Lecture Notes in Computer Science, page 59-72. Springer, (2002)