USTM: A New Approach to Requirements Specification

Linda A. Macaulay, Chris J. H. Fowler, Mark A. R. Kirby, Andrew Hutt. USTM: A New Approach to Requirements Specification. Interacting with Computers, 2(1):92-118, 1990.