PaperLanguage Constructs for Specifying Concurrency in CDLR.K. Shyamasundar, J.W. ThatcherIEEE Transactions on Software Engineering
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
PaperA uniform approach to inductive posets and inductive closureJ.B. Wright, E.G. Wagner, et al.Theoretical Computer Science
