L. Luqi, and R. Steigerwald. System Sciences, 1992. Proceedings of the Twenty-Fifth Hawaii International Conference on, ii, page 470 - 479. (January 1992)
S. Zhong, J. Chen, and Y. Yang. INFOCOM 2003. Twenty-Second Annual Joint Conference of the IEEE Computer
and Communications. IEEE Societies, 3, page 1987 - 1997 vol.3. (2003)
L. Constantine. Interactive Systems. Design, Specification, and Verification, volume 2844 of Lecture Notes in Computer Science, Springer, Berlin / Heidelberg, (2003)