Axiomatizing Schemes and Their Behaviors

Stephen L. Bloom, Zoltán Ésik. Axiomatizing Schemes and Their Behaviors. J. Comput. Syst. Sci., 31(3):375-393, 1985.

Abstract

Abstract is missing.