S. Pietschmann, M. Voigt, и K. Meissner. Proceedings of the 2009 Fourth International Conference on Internet and Web Applications and Services, стр. 217--222. Washington, DC, USA, IEEE Computer Society, (2009)
A. Dittmar, и P. Forbrig. Interactive Systems. Design, Specification, and Verification, том 2844 из Lecture Notes in Computer Science, глава 13, Springer-Verlag, Berlin/Heidelberg, (2003)