Conference paperData type specification: Parameterization and the power of specification techniquesJames W. Thatcher, Eric G. Wagner, et al.STOC 1978
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
