软件工程：形式系统与其环境之间的关系

Software Engineering: The Relationship between a Formal System and its Environment

• Frank Land
• Elizabeth Somogyi