Davis, A. A Comparison of Techniques for the Specification of External System Behavior. Communications of the ACM 3I, 9 (Sept. 1988), pages 1098-1115
author author title title title title title title title title title title title journal journal journal journal volume volume date date pages pages