Beaumont, Ross A.
The Algebraic foundations of mathematics
Addison-Wesley, 1963
Buku Teks
Sheppard, Deri
An Introduction to formal specification with Z and VDM
McGraw-Hill, 1995
Buku Teks
Ince, D.C.
An Introduction to discrete mathematics and formal system specification
Clarendon Press, 1988
Buku Teks SO
Proceedings of the sixth International Workshop on Software Specification and Design
IEEE Computer Society Press, 1991
Buku Teks
Foundations of real-time computing: formal specifications and methods
edited by Andre M. van Tilborg
Kluwer, 1991
Buku Teks