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