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

by A I Wasserman
Venue:IEEE Transactions on Software Engineering