Anthony I. Wasserman. Extending State Transition Diagrams for the Specification of Human-Computer Interaction. IEEE Trans. Software Eng., 11(8):699-713, 1985.
@article{Wasserman85:0, title = {Extending State Transition Diagrams for the Specification of Human-Computer Interaction}, author = {Anthony I. Wasserman}, year = {1985}, tags = {human-computer interaction}, researchr = {https://researchr.org/publication/Wasserman85%3A0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Software Eng.}, volume = {11}, number = {8}, pages = {699-713}, }