Specification 93
editor, Alan Williams
Emap Architecture, 1993
Buku Referensi
Bruce, David
Electronic
Reston Publishing, 1984
Buku Teks
Brown, T. Merritt
Specification and uses of econometric models
Macmillan, 1970
Buku Teks
Willis, Claire
Abstraction and specification with modula-2
Pitman, 1992
Buku Teks
Specification 93 clauses
editor, Alan Williams
Emap, 1993
Buku Referensi