L. Luqi, and R. Steigerwald. System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on, ii, page 470 - 479. (January 1992)
L. Constantine. Interactive Systems. Design, Specification, and Verification, volume 2844 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2003)