Parameterising (Algebraic) Specifications on Diagrams

Theodosis Dimitrakos. Parameterising (Algebraic) Specifications on Diagrams. In ASE. pages 221-224, 1998. [doi]

Abstract

Abstract is missing.