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