A Formal Specification Language Supporting Specification Acquisition

• 一个支持规约获取的形式规约语言