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