Found in articles
Applications of Formal Methods. Prentice Hall International Series in Computer Science, 1995. ISBN 0-13-366949-1. Bowen, J.P., Formal Specification and Documentation
实化
Smalltalk与演员模型的语言实化了块（block）与消息。 Smalltalk-80把源代码编译为字节码，这是首例。 数据实化涉及在形式规范（英语：formal specification）中找到抽象数据类型的更为具体的表示。 例如，抽象数据类型集合（set）可以用map或者array来实化。 概念建模（英语：Conceptual
软件需求说明
CONOPS（英语：Concept of operations） 需求工程 軟件工程知識體系（SWEBOK） 設計規格 規格化 型式規格（英语：Formal specification） 抽象類型 Bourque, P.; Fairley, R.E. Guide to the Software Engineering
Jones, A. Modet, and J. M. Wing, Larch: Languages and Tools for Formal Specification, Springer-Verlag, 1993. 存档副本. [2009-03-11]. （原始内容存档于2020-11-30）.
Superstructure Specification, version 2.1.1. Document formal/2007-02-05, Object Management Group, February 2007. http://www.omg.org/cgi-bin/doc?formal/2007-02-05