J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
J.B. Wright, J.W. Thatcher, et al.
FOCS 1976
J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
J.W. Thatcher
Journal of Computer and System Sciences