形式规约模式及其重用技术研究综述
형식규약모식급기중용기술연구종술
Overview of Formal Specification Patterns and Their Reuse