ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement

Marc Aiguier. ÉTOILE-specifications: An Object-oriented Algebraic Formalism with Refinement. Journal of Logic and Computation, 14(2):145-178, 2004. [doi]

Abstract

Abstract is missing.