Extending State Transition Diagrams for the Specification of Human-Computer Interaction (1985)

by A Wasserman
Venue:IEEE Transactions on Software Engineering