An executable specification language for specification understanding in object-oriented specification reuse
Specification: Algebraic Specification.