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