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