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

• A Formal Specification Language Supporting Specification Acquisition