PaperP-varieties - a signature independent characterization of varieties of ordered algebrasStephen L. Bloom, Jesse B. WrightJournal of Pure and Applied Algebra
PaperRecursion and iteration in continuous theories: The "M-construction"Stephen L. Bloom, James W. Thatcher, et al.Journal of Computer and System Sciences
PaperMore on advice on structuring compilers and proving them correctJames W. Thatcher, Eric G. Wagner, et al.Theoretical Computer Science
Conference paperData type specification: Parameterization and the power of specification techniquesJames W. Thatcher, Eric G. Wagner, et al.STOC 1978
