1. Balzer, R.: A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering SE-11, 1257–1267 (1985)
2. Bodart, F., Hennebert, A.-M., Leheureux, J.-M., Vanderdonckt, J.: A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype. In: Paterno, F. (ed.) Interactive Systems: Design, specification, and Verification. Springer, Heidelberg (1995)
3. Braudes, R.: A Framework for Conceptual Consistency Verification, D. Sc. Dissertation, Dept. of EE&CS, The George Washington University, Washington, DC 20052 (1990)
4. Byrne, M.D., Wood, S.D., Foley, J.D., Kieras, D.E., Sukaviriya, P.N.: Automating interface evaluation. In: Proceedings of Human Factors in Computing Systems CHI 1994. ACM Press, New York (1994)
5. Foley, J., Kim, W.C., Kovacevic, S., Murray, K.: UIDE — An Intelligent User Interface Design Environment. In: Sullivan, J., Tyler, S. (eds.) Architectures for Intelligent Interfaces: Elements and Prototypes. Addison-Wesley, Reading (1991)