R.K. Shyamasundar, J.W. Thatcher
IEEE Transactions on Software Engineering
There is no paper with a mathematical foundation that I know of that strikes more at the heart of the subject of this Workshop than that of R.M. Burstall and J.A. Goguen [10], presented at the Fifth International Joint Conference on Artificial Intelligence in August of 1977. © 1981, ACM. All rights reserved.
R.K. Shyamasundar, J.W. Thatcher
IEEE Transactions on Software Engineering
J.A. Goguen, J.W. Thatcher, et al.
Journal of the ACM
J.A. Goguen, J.W. Thatcher, et al.
Journal of the Franklin Institute
J.W. Thatcher, E.G. Wagner, et al.
ACM Transactions on Programming Languages and Systems (TOPLAS)