Beaumont, Ross A.
The Algebraic foundations of mathematics
Addison-Wesley, 1963
 Buku Teks SO
Sheppard, Deri
An Introduction to formal specification with Z and VDM
McGraw-Hill, 1995
 Buku Teks SO
Wahyudi
Penyusunan software requirements specification (Srs) sistem informasi sumber daya manusia: Studi kasus PT XYZ = Development of software requirements specification (Srs) for human resource management system: PT XYZ case study
Fakultas Ilmu Komputer Universitas Indonesia, 2015
 UI - Tugas Akhir
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 SO