Using formal specifications of a human-computer interface.
Publisher: Association for computing machinery
Place of publication: New York
Language: eng
Other titles: Communications of the ACM.
Notes: Photocopy of an article in Communications of the ACM, vol. 26, no. 4,April 1983, pp. 259-264.