G. Abowd, J. Bowen, Alan Dix, M. Harrison and R. Took
Download full paper - compressed postscript (198K) or Adobe PDF (482K).
Full reference:
G. Abowd, J. Bowen, A. Dix, M. Harrison and R. Took (1989).
User Interface Languages: A Survey of Existing Methods.
PRG-TR-5-89, Programming Research Group, Oxford University (REDO project deliverable).
http://www.hcibook.com/alan/papers/redo89/
See also Alan's pages on formal methods in HCI
This report gives a survey of user interface languages and formal representations
of user
interfaces. The following aspects of User Interface Languages are considered:
[1] H. Alexander. ECS - a technique for the formal speci cation and rapid prototyping
of
human-computer interaction. In M.D. Harrison and A. Monk, editors, People and
Com-
puters: Designing for usability, pp. 157-179, Cambridge University Press, 1986.
[2] H. Alexander. Executable speci cations as an aid to dialogue design. In
Bullinger and
Shackel, editors, Proceedings of INTERACT '87, North Holland, 1987.
[3] H. Alexander. Formally-based techniques for designing human-computer dialogues.
In
Diaper and Winder, editors, People and Computers III, pp. 201-214, Cambridge
University
Press, 1987.
[4] *** H. Alexander. Formally-based tools and techniques for human-computer
dialogues.
Ellis-Horwood Limited, 1987.
[5] J.L. Alty. The application of path algebras to interactive dialogue design.
Behaviour and
Information Technology, 3(2):119-132, 1984.
[6] S.O. Anderson. Proving properties of interactive systems. In Harrison and
Monk, editors,
People and Computers: Designing for usability, Cambridge University Press, 1986.
[7] E. Anson. The semantics of graphical input. ACM Computer Graphics, 13(2):113-120,
January 1979.
[8] P. Barnard and M.D. Harrison. Integrating cognitive and system models in
human com-
puter interaction. In Sutcli e and Macauley, editors, People and Computers V.
Cambridge
University Press, 1989.
[9] P. Boullier, J. Gros, P. Jancene, A. Lemaire, F. Prusker, and E. Saltel.
Metavisu: a general
purpose graphics system. In F. Nake and A. Rosen eld, editors, Graphic Languages,
pp.
244-267, North-Holland, 1972.
[10] J.P. Bowen. Formal speci cation of window systems. PRG-74 Technical Monograph,
Pro-
gramming Research Group, Oxford University Computing Laboratory, June 1989.
[11] S.K. Card, T.P. Moran, and A. Newell. The keystroke-level model for user
performance
with interactive systems. Comm. ACM, 23:396-410, 1980.
[12] S.K. Card, T.P. Moran, and A. Newell. The Psychology of Human Computer
Interaction.
Lawrence Erlbaum, 1983.
[13] L. Cardelli and R. Pike. Squeak - a language for communicating with mice.
ACM Computer
Graphics, 19(3):199-204, 1985.
[14] U.H. Chi. Formal speci cation of user interfaces: a comparison and evaluation
of four
axiomatic approaches. IEEE Trans. on Software Engineering, SE-11(8):671-685,
1985.
[15] G. Cockton. Where do we draw the line? - derivation and evaluation of user
interface
software separation rules. In Harrison and Monk, editors, People and Computers:
Designing
for usability, pp. 417-432, Cambridge University Press, 1986.
[16] G. Cockton. Some critical remarks on abstractions for adaptable dialogue
managers. In
Diaper and Winder, editors, People and Computers III. Cambridge University Press,
1987.
[17] G. Cockton. Generative transition networks: a new communication control
abstraction. In
Jones and Winder, editors, People and Computers IV, pp. 509-528, Cambridge University
Press, 1988.
[18] S. Cook. Modelling generic user-interfaces with functional programs. In
Harrison and Monk,
editors, People and Computers: Designing for usability, Cambridge University
Press, 1986.
[19] J. Coutaz. Pac, an object oriented model for dialog design. In H.J. Bullinger
and B. Shackel,
editors, Human-Computer Interaction - INTERACT '87 (Participants' Edition),
pp. 431-
436, North-Holland, 1987.
[20] J. Coutaz. Architecture models for interactive software. Technical report,
Laboratoire de
Genie Informatique, Grenoble Cedex, France, January 1989.
[21] B. Curtis. The crucible of a new discipline. In [109], pp. 67-72,
[22] A.J. Dix. Abstract, generic models of interactive systems. In D.M. Jones
and R. Winder,
editors, People and Computers IV: Proc. HCI '88, pp. 63-77, Cambridge, January
1988.
[23] A.J. Dix. Formal methods and interactive systems: principles and practice.
Technical
report, University ofYork, 1987. Ph.D. Thesis.
[24] A.J. Dix. The myth of the in nitely fast machine. In Diaper and Winder,
editors, People
and Computers III: Proc. HCI '87, Cambridge University Press, 1987.
[25] A.J. Dix and M.D. Harrison. Principles and interaction models for window
managers. In
M.D. Harrison and A.F. Monk, editors, People and Computers: Designing for usability,
pp.
352-366, Cambridge University Press, 1986.
[26] A.J. Dix and M.D. Harrison. Interactive systems design and formal development
are in-
compatible? In McDermid, editor, Proceedings 1988 Re nement Workshop. Butterworth
Scienti c, 1989.
[27] A.J. Dix, M.D. Harrison, C. Runciman, and H.W. Thimbleby. Interaction models
and
the principled design of interactive systems. In Nichols and Simpson, editors,
European
Software Engineering Conference, Springer Lecture Notes, 1987.
[28] *** A.J. Dix and C. Runciman. Abstract models of interactive systems. In
Johnson
and Cook, editors, People and Computers: Designing the interface, Cambridge
University
Press, 1985.
[29] H. Ehrig and B. Mahr. Fundamentals of Algebraic Speci cation 1. Springer,
1985.
[30] D. England. A user interface design tool. In ESEC'87 - 1st European Software
Engineering
Conference, Springer-Verlag, 1987.
[31] D. England. Graphical prototyping of graphical tools. In Jones and Winder,
editors, People
and Computers IV, pp. 407-420, Cambridge University Press, 1988.
[32] M.U. Farooq and W.D. Dominick. A survey of formal tools and models for
developing user
interfaces. International Journal of Man-Machine Studies, 29, 1988, pp. 479-496,
[33] G. Fischer. Human-computer interaction software: lessons learned, challenges
ahead. IEEE
Software, January 1989, pp. 44-52,
[34] J.D. Foley and V.L. Wallace. The art of natural graphic man-machine conversation.
Proc.
IEEE, 62(4):462-471, April 1974.
[35] J.D. Foley, W.C. Kim, and C.A. Gibbs. Algorithms to transform the formal
speci cation
of a user-computer interface. In Bullinger and Shackel, editors, Proceedings
of INTERACT
'87, pp. 1001-1006, North Holland, 1987.
[36] J. Foley, Won Chul Kim, S. Kova Kimcevic, and K. Murray. De ning Interfaces
at a High
Level of Abstraction. IEEE Software, January 1989, pp. 25-32,
[37] A. Goldberg. Smalltalk-80, The interactive programming environment. Addison-Wesley,
1984.
[38] M. Green. Report on dialogue speci cation tools. In G.E. Pfa , editor,
User Interface
Management Systems, pp. 9-20, Springer-Verlag, Berlin, January 1985.
[39] M. Green. A survey of three dialogue models. ACM Trans. on Graphics, 5(3):244-275,
January 1986.
[40] M. Green. Directions for user interface management systems research. ACM
Computer
Graphics, 21(2):113-116, April 1987.
[41] T.R.G. Green, F. Schiele, and S.J. Payne. Formalisable models of user knowledge
in human-
computer interaction. In Working with Computers, Academic Press, 1988.
[42] R.A. Guedj, P.J.W. ten Hagen, F.R.A. Hopgood, H.A. Tucker, and D.A. Duce,
editors.
Methodology of Interaction, North-Holland, 1980.
[43] F.G. Halasz, T.P. Moran, and R.H. Trigg. Notecards in a nutshell. In Carroll
and Tanner,
editors, Human Factors in Computer Systems & User Interface (CHI '87), 1987.
[44] W.J. Hansen. User engineering principles for interactive systems. In Interactive
Program-
ming Environments, D.R. Barstow, H.E. Shrobe, and E. Sandewall, editors, McGraw-Hill,
New York, 1984, pp. 217-231,
[45] M.D. Harrison and A.J. Dix. Modelling the relationship between state and
display in
interactive systems. In Tauber and Gorny, editors, Visualisation in Human Computer
Interaction, Springer Lecture Notes, 1988.
[46] M.D. Harrison and A.J. Dix. A state model of direct manipulation. In Harrison
and Thim-
bleby, editors, Formal Methods in Human Computer Interaction, pp. 135-156, Cambridge
University Press, 1989.
[47] M.D. Harrison, C.R. Roast, and P.C. Wright. Complementary methods for the
iterative
design of interactive systems. In Proceedings HCI International '89, Boston.
Elsevier Sci-
enti c, 1989.
[48] M.D. Harrison and H. Thimbleby (editors). Formal Methods in HCI. Cambridge
University
Press, to be published.
[49] M.D. Harrison, and H. Thimbleby. Formalising Guidelines for the Design
of Interactive
Systems. In Johnson and Cook, editors, People and Computers: Designing the interface,
Cambridge University Press, 1985.
[50] R. Harston. User-Interface Management Control and Communication. IEEE Software,
January 1989, pp. 62-70,
[51] S. Hekmatpour and D. Ince. Evolutionary prototyping and the human-computer
interface.
In Bullinger and Shackel, editors, Proceedings of INTERACT '87, pp. 479-484,
North
Holland, 1987.
[52] S. Hekmatpour and M. Woodman. Formal speci cation of graphical notations
and graphical
software tools. Technical report, Open University, 1987.
[53] A. Henderson. The trillium user interface. In Proceedings of CHI'86 - Human
factors in
computing systems, 1986.
[54] R.D. Hill. Event-response systems - a technique for specifying multi-threaded
dialogues.
In Proc. SIGCHI+GI '87: Human Factors in Computing Systems, pp. 241-248, Toronto,
Canada, January 1987.
[55] C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International,
London,
1985.
[56] S.J. Holmes. Overview and user manual for doubleview. Technical Report
YCS109, De-
partment of Computer Science, University ofYork, 1989.
[57] F.R.A. Hopgood and D.A. Duce. A production system approach tointeractive
graphic
program design. In R.A. Geudj, P.J.W. ten Hagen, F.R.A. Hopgood, H.A. Tucker,
and
D.A. Duce., editors, Methodology of Interaction, pp. 247-263, North-Holland,
1980.
[58] S.E. Hudson. UIMS support for direct manipulation interfaces. ACM Computer
Graphics,
21(2):120-124, January 1987.
[59] R.J.K. Jacob. Using formal speci cations in the design of a human-computer
interface.
Communications of the ACM, 26:4, pp. 259-264, April 1983.
[60] R.J.K. Jacob. A visual programming environment for designing user interfaces.
In Shi-
Kuo Chang, Tadao Ichikawa, and P.A. Ligomenides, editors, Visual Languages,
pp. 87-107,
Plenum Press, New York, 1986.
[61] R.J.K. Jacob. A speci cation language for direct manipulation user interfaces.
ACM
Transactions on Graphics, 5(4), 1986.
[62] P. Johnson, D. Diaper, and J.B. Long. Task analysis in interactive systems
design and
evaluation. In G. Johannsen, C. Mancini, and L. Martensson, editors, Analysis,
design and
evaluation of man-machine systems, Pergamon Press, 1985.
[63] C. Johnson. Temporal logic applied to interaction. Technical report, Human
Computer
Interaction Group, York University, April 1989.
[64] S.C. Johnson. Yacc: Yet another compiler compiler. Computing Science Technical
Re-
port 32, Murray Hill, 1975.
[65] C.B. Jones. Software development: a rigorous approach. Prentice-Hall International,
Lon-
don, 1980.
[66] A. Kamran. Issues pertaining to the design of a user interface management
system. In G.E.
Pfa , editor, User Interface Management Systems, pp. 43-48, Springer-Verlag,
1985.
[67] A. Kamran and M.B. Feldman. Graphics programming independent ofinteraction
tech-
niques and styles. ACM Computer Graphics, 17(1):58-66, January 1983.
[68] D.J. Kasik, M.A. Lund, and H.W. Ramsey. Re ections on using a UIMS for
complex
applications. IEEE Software, 6(1):54-61, January 1989.
[69] D.E. Kieras and P.G. Polson. An approach to the formal analysis of user
complexity.
International Journal of Man-Machine Studies, 22:365-394, 1985.
[70] G. Kiss and R. Pinder. The use of complexity theory in evaluating interfaces.
In Harrison
and Monk, editors, People and Computers: Designing for usability, pp. 447-463,
Cambridge
University Press, 1986.
[71] C. Knowles. Can cognitive complexity theory (CCT) produce an adequate measure
of
system usability? In Jones and Winder, editors, People and Computers IV, pp.
291-307,
Cambridge University Press, 1988.
[72] J.E. Laird, A. Newell, and P. Rosenbloom. Soar: an architecture for general
intelligence.
Arti cial Intelligence, 33:1-64, 1987.
[73] K.A. Lantz et al. Reference models, window systems, and concurrency. ACM
Computer
Graphics, 21(2):87-97, April 1987.
[74] R. Van Liere and H.J. Schouten. The DICE language and cookbook.
[75] M.A. Linton and R.R. Calder. The design and implementation of interviews.
In Proc.
USENIX C++ Workshop, pp. 256-267, Santa Fe, New Mexico, USA, 1987.
[76] W.R. Mallgren. Formal Speci cation of Interactive Graphics Programming
Languages. MIT
Press, 1983.
[77] L. Marshall. Ph.D. thesis. Technical report, University of Manchester,
1986.
[78] S. McGregor and J. Parodi. DECwindows: architectural overview. Version
1.1, Digital
Equipment Corporation, USA, 1988.
[79] A. McLean. Human factors and the design of user interface management systems.
Infor-
mation and Software Technology, 29(4):192-201, 1987.
[80] A. McLean, P. Barnard, and M. Wilson. Rapid prototyping of dialogue for
human fac-
tors research: the Easie approach. In M.D. Harrison and A. Monk, editors, People
and
Computers: Designing for usability, pp. 180-195, Cambridge University Press,
1986.
[81] S. Minor. Structured command interaction based on grammar interpreting
synthesiser. In
Bullinger and Shackel, editors, Proceedings of INTERACT '87, pp. 731-737, North
Holland,
1987.
[82] A.F. Monk. Mode errors: a user-centred analysis and some preventative measures
using
keying contingent sound. International Journal of Man-Machine Studies, 24, 1986.
[83] A.F. Monk and A.J. Dix. Re ning early design decisions with a black-box
model. In People
and Computers III: Proc. HCI '87. Cambridge University Press, 1987.
[84] A.F. Monk. A procedure for identifying unpredictability, unnecessary complexity,
inconsis-
tency and e ects which are hard to reverse. Paper submitted for inclusion in
CHI '87.
[85] T.P. Moran. The command language grammar: a representation for the user
interface of
interactive systems. International Journal of Man Machine Systems, 15, 1981.
[86] C.C. Morgan. Programming from speci cations. Prentice-Hall International,
London, 1989.
[87] B.A. Myers. Tools for creating user interfaces: an introduction and survey.
Technical
Report CMU-CS-88-107, CMU, January 1988.
[88] B.A. Myers. User-interface tools: introduction and survey. IEEE Software,
January 1989,
pp. 15-23,
[89] W.M. Newman. A system for interactive graphical programming. In AFIPS Spring
Joint
Computer Conference, pp. 47-54, 1968.
[90] D.A. Norman. Cognitive engineering principles in the design of human-computer
interfaces.
In [109], pp. 11-16,
[91] D.R. Olsen. Pushdown automata for user interface management. ACM Trans.
Graphics,
3(3):177-203, July 1984.
[92] D.R. Olsen. Mike: the Menu Interaction Kontrol Environment. ACM Trans.
Graphics,
5(4):318-344, October 1986.
[93] D.R. Olsen and E.P. Dempsey. Syngraph: a graphic user interface generator.
ACM Com-
puter Graphics, 17(3):43-50, July 1983.
[94] D.R. Olsen. Larger issues in user interface management. ACM Computer Graphics,
21:134-
137, 1987.
[95] D.R. Olsen Jnr., E.P. Dempsey, and R. Rogge. Input/output linkage in a
user interface
management system. ACM Computer Graphics, 19(3):191-197, January 1985.
[96] D.L. Parnas. On the use of transition diagrams in the design of a user
interface for an
interactive computer system. In Proceedings 24th National ACM Conference, pp.
379-385,
1969.
[97] S.J. Payne. Task-action grammars. In B. Shackel, editor, Human-Computer
Interaction,
Interact '84, pp. 527-532, North-Holland, 1985.
[98] S.J. Payne and T.R.G. Green. Task-action grammars: a model of mental representation
of
task languages. Human-Computer Interaction, 2(2):93-133, 1986.
[99] F.C.N. Pereira. Can drawing be liberated from the von neumann style? In
M. Van
Caneghan and D.H.D. Warren, editors, Logic Programming And It's Application,
pp. 175
- 187. Ablex Publishing, Norwood, New Jersey, USA, 1986.
[100] G.E. Pfa , editor. User Interface Management Systems. Springer, 1985.
[101] M.J. Plasmeijer. Input tools - a language model for interaction and process
communication.
Technical report, de Katholieke Universiteit to Nijmegen, 1981.
[102] P. Reisner. Formal grammar and human factors design of an interactive
graphics system.
IEEE Transactions on Software Engineering, SE-7(2):229-240, 1981.
[103] C.R. Roast and M.D. Harrison. The speci cation and prototyping of interaction
models
using a dynamic logic. Draft, Human Computer Interaction Group, University ofYork,
April 1989.
[104] T.L. Roberts. Perspectives of a Modern User-Interface Designer. In [109],
pp. 61-66,
[105] C. Runciman, M. Firth, and N. Jagger. Preserving interactive behaviour
through transfor-
mation. Technical report, Department of Computer Science, University ofYork,
1988.
[106] C. Runciman and N.V. Hammond. User programs: a way to match computer system
design
and human cognition. In Harrison and Monk, editors, People and Computers: Designing
for usability, pp. 464-481, Cambridge University Press, 1986.
[107] Colin Runciman. From abstract interaction models to functional prototypes.
In M.D.
Harrison and H. Thimbleby, editors, Formal methods in Human Computer Interaction,
Cambridge University Press, 1989.
[108] M.L. Scott and S.-K. Yap. A grammar-based approach to the automatic generation
of user
interface dialogues. In E. Solloway, D. Frye, and S.B. Sheppard, editors, Proc.
CHI '88, pp.
73-78, Addison Wesley, January 1988.
[109] G. Salvendy (editor). Human-Computer Proceedings of the First U.S.A-Japan
Conference
on Human-Computer Interaction, Honolulu, Hawaii, August 18-20, 1984. Elsevier,
Ams-
terdam, 1984.
[110] B. Sharratt. Top-down interactive systems design: some lessons learnt
from using com-
mand language grammar speci cations. In Bullinger and Shackel, editors, Proceedings
of
INTERACT '87, pp. 395-399, North Holland, 1987.
[111] B.D. Sharratt. The incorporation of early interface evaluation into command
language
grammar speci cations. In Diaper and Winder, editors, People and Computers III:
Proc.
HCI '87, Cambridge University Press, 1987.
[112] A.C. Shaw. On the speci cation of graphics command languages and their
processors. In
Guedj et al., editors, Methodology of Interaction, pp. 160-171, North-Holland,
1980.
[113] M. Shaw, E. Borison, M. Horowitz, T. Lane, D. Nichols, and R. Pausch.
Descartes:
a programming-language approach to interactive display interfaces, volume 0-89791-108-
3/83/006/0100. ACM, 1983.
[114] B. Shneiderman. Direct manipulation: a step beyond programming languages.
IEEE
Computer, 16(8):57-69, 1983.
[115] J. Sibert, R. Belliardi, and A. Kamran. Some thoughts on the interface
between user inter-
face management systems and application software. In G.E. Pfa , editor, User
Interface
Management Systems, pp. 183-192, Springer-Verlag, 1985.
[116] J.L. Sibert, W.D. Hurley, and T.W. Bleser. An object-oriented user interface
management
system. ACM Computer Graphics, 20(4):259-268, August 1986.
[117] L.P. Simoes and J.A. Marques. Images - an object oriented UIMS. In H.-J.
Bullinger
and B. Shackel, editors, Human-Computer Interaction - Interact '87, pp. 751-756,
North-
Holland, 1987.
[118] T. Simon. Analysing the scope of cognitivemodels in human-computer interaction:
a
trade-o approach. In Jones and Winder, editors, People and Computers IV, pp.
79-93,
Cambridge University Press, 1988.
[119] T. Simon and R.M. Young. GOMS mets STRIPS: the integration of planning
with skilled
procedure execution in human-computer interaction. In Jones and Winder, editors,
People
and Computers IV, pp. 581-594, Cambridge University Press, 1988.
[120] J.M. Spivey, Understanding Z, a Speci cation Language and its Semantics.
Cambridge
University Press, 1987.
[121] *** J.M. Spivey. The Z notation: a reference manual. Prentice Hall International,
London,
1989.
[122] H.L. Stern. Comparison of Window Systems. BYTE, November 1987, pp. 265-272,
[123] B.A. Sufrin. Formal speci cation of a display editor. Science of Computer
Programming,
1:157-202, 1982.
[124] B.A. Sufrin. Formal methods and the design of e ective user interfaces.
In M.D. Har-
rison and A. Monk, editors, People and Computers: Designing for usability, pp.
24-43,
Cambridge University Press, 1986.
[125] *** B.A. Sufrin and Jifeng He. Speci cation, re nement and analysis of
interactive pro-
cesses. In Harrison and Thimbleby, editors, Formal methods in Human Computer
Interac-
tion, Cambridge University Press, 1989.
[126] A. Sutcli e. Some experiences in integrating speci cation of human-computer
interaction
within a structured system development method. In Jones and Winder, editors,
People and
Computers IV, pp. 145-160, Cambridge University Press, 1988.
[127] P.P. Tanner. Multi-thread input. ACM Computer Graphics, 21(2):142-145,
January 1987.
[128] P.P. Tanner, S.A. MacKay, D.A. Stewart, and M. Wein. A multitasking switchboard
ap-
proach to user interface management. ACM Computer Graphics, 20(4):241-248, August
1986.
[129] P.J.W. ten Hagen and J. Derksen. Parallel input and feedback in dialogue
cells. In G.E.
Pfa , editor, User Interface Management Systems, pp. 109-124, Springer-Verlag,
1985.
[130] H.W. Thimbleby. Dialogue determination. International Journal of Man Machine
Systems,
13:295-304, 1980.
[131] *** H.W. Thimbleby. Generative User-Engineering Principles for User Interface
Design.
In Human-Computer Interaction - Interact '84, B. Shackel, editor, North-Holland,
Ams-
terdam, 1985, pp. 661-666,
[132] R.K. Took. The presenter - a formal design for an autonomous display manager.
In
I. Sommerville, editor, Software Engineering Environments, pp. 151-169, 1986.
[133] R.K. Took. Surface interaction: a formal model for the presentation level
of applications
and documents. Ph.D. thesis, University ofYork, 1989, in preparation.
[134] J.J.P. Tsai and J.C. Ridge. Intelligent Support for Speci cations Transformation.
IEEE
Software, November 1988, pp. 28-35,
[135] J. van den Bos. Whither device independence in interactive graphics? International
Journal
of Man-Machine Studies, 18:89, 1983.
[136] J. van den Bos and R. Plasmeijer. Input-output tools: a language facility
for interactive and
real-time systems. IEEE Transactions on Software Engineering, SE-9(3):247-259,
1983.
[137] J. van den Bos. High-level graphic input tools and their semantics. In
R.A. Geudj, P.J.W.
ten Hagen, F.R.A. Hopgood, H.A. Tucker, and D.A. Duce., editors, Methodology
of Inter-
action, pp. 159-169, North-Holland, 1980.
[138] M. van Harmelen and S.M. Wilson. VIZ: a production system based user interface
man-
agement system. In Eurographics'87. Elsevier Science, 1987.
[139] P. Walsh, K. Lim, J. Long, and M. Carver. JSD and the design of user interface
software.
Ergonomics, 1989.
[140] A.I. Wasserman. Extending state transition diagrams for the speci cation
of human-
computer interaction. IEEE Transactions on Software Engineering, SE-11(8):699-713,
1985.
[141] A.I. Wasserman and D.T. Shewmake. The role of prototypes in the user software
engineering
(use) methodology. In H.R. Hartson, editor, Advances in Human-Computer Interaction,
Volume 1. Ablex, 1984.
[142] W.A. Woods. Transition network grammars for natural language analysis.
Communications
ACM, 13(10), 1970.
[143] R.M. Young, P. Barnard, T. Simon, and J. Whittington. How would your favourite
user
model cope with these scenarios? SIGCHI Bulletin, 20:51-55, 1989.
[144] R.M. Young and T.R.G. Green. Programmable user models as aids to the interface
designer.
1988, in preparation.