PaperInitial Algebra Semantics and Continuous AlgebrasJ.A. Goguen, J.W. Thatcher, et al.Journal of the ACM
PaperParallel realization of systems, using factorizations and quotients in categoriesJ.A. Goguen, J.W. Thatcher, et al.Journal of the Franklin Institute
PaperData Type Specification: Parameterization and the Power of Specification TechniquesJ.W. Thatcher, E.G. Wagner, et al.ACM Transactions on Programming Languages and Systems (TOPLAS)
PaperGeneralized finite automata theory with an application to a decision problem of second-order logicJ.W. Thatcher, J.B. WrightMathematical Systems Theory
