J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
No abstract available.
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)
J.W. Thatcher, J.B. Wright
Mathematical Systems Theory
J.W. Thatcher
ACM SIGPLAN Notices
J.A. Goguen, J.W. Thatcher, et al.
Journal of the Franklin Institute