Q. Limbourg, C. Pribeanu, и J. Vanderdonckt. Proceedings of the 8th International Workshop on Interactive Systems: Design, Specification, and Verification-Revised Papers, стр. 164--182. London, UK, Springer-Verlag, (2001)
S. Goschnick, L. Sonenberg, и S. Balbo. Human-Computer Interaction, том 332 из IFIP Advances in Information and Communication Technology, глава 4, Springer-Verlag, Berlin/Heidelberg/New York, (2010)
A. Dittmar, и P. Forbrig. Interactive Systems. Design, Specification, and Verification, том 2844 из Lecture Notes in Computer Science, глава 13, Springer-Verlag, Berlin/Heidelberg, (2003)