Algebraic Specification Formalism

ASF+SDF 1 Subsumed
1
SEAL 1 Subsystem
1