PaperData abstraction, data bases and conceptual modelling (Position Paper)J.W. ThatcherACM SIGPLAN Notices
PaperInitial Algebra Semantics and Continuous AlgebrasJ.A. Goguen, J.W. Thatcher, et al.Journal of the ACM
PaperGeneralized finite automata theory with an application to a decision problem of second-order logicJ.W. Thatcher, J.B. WrightMathematical Systems Theory
PaperA uniform approach to inductive posets and inductive closureJ.B. Wright, E.G. Wagner, et al.Theoretical Computer Science
