Extending State Transition Diagrams for the Specification of Human–Computer Interaction
- 1 August 1985
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. SE-11 (8), 699-713
- https://doi.org/10.1109/tse.1985.232519