George W. Cherry
-
A comparison of techniques for the specification of external system behavior
Communications of the ACM
Fundamental Structures of Computer Science