PaperData abstraction, data bases and conceptual modelling (Position Paper)J.W. ThatcherACM SIGPLAN Notices
PaperParallel realization of systems, using factorizations and quotients in categoriesJ.A. Goguen, J.W. Thatcher, et al.Journal of the Franklin Institute
PaperLanguage Constructs for Specifying Concurrency in CDLR.K. Shyamasundar, J.W. ThatcherIEEE Transactions on Software Engineering
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)
