PaperGeneralized finite automata theory with an application to a decision problem of second-order logicJ.W. Thatcher, J.B. WrightMathematical Systems Theory
PaperLanguage Constructs for Specifying Concurrency in CDLR.K. Shyamasundar, J.W. ThatcherIEEE Transactions on Software Engineering
PaperA uniform approach to inductive posets and inductive closureJ.B. Wright, E.G. Wagner, et al.Theoretical Computer Science
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)