PaperP-varieties - a signature independent characterization of varieties of ordered algebrasStephen L. Bloom, Jesse B. WrightJournal of Pure and Applied Algebra
PaperOn the algebraic structure of rooted treesCalvin C. Elgot, Stephen L. Bloom, et al.Journal of Computer and System Sciences
PaperRecursion and iteration in continuous theories: The "M-construction"Stephen L. Bloom, James W. Thatcher, et al.Journal of Computer and System Sciences