Syntax Definition Formalism

ASF+SDF 1 Subsumed
1
SEAL 1 Subsystem
1