Extending state transition diagrams for the specification of human-computer interaction, (1985)

by A I Wasserman
Venue:IEEE Transactions on Software Engineering,