PaperGeneralized finite automata theory with an application to a decision problem of second-order logicJ.W. Thatcher, J.B. WrightMathematical Systems Theory
Conference paperRational algebraic theories and fixed-point solutionsJ.B. Wright, J.W. Thatcher, et al.FOCS 1976
PaperInitial Algebra Semantics and Continuous AlgebrasJ.A. Goguen, J.W. Thatcher, et al.Journal of the ACM
PaperData abstraction, data bases and conceptual modelling (Position Paper)J.W. ThatcherACM SIGPLAN Notices