Eddy Damian
Indonesia`s formal legal system: an introduction
Comparative Study of Law, 1972
Buku Teks SO
Eddy Damian
Indonesia`s formal legal system : an introduction
Alumni, 1976
Buku Teks
Sheppard, Deri
An Introduction to formal specification with Z and VDM
McGraw-Hill, 1995
Buku Teks SO
Cann, Ronnie
Formal semantics: an introduction / Ronnie Cann
Cambridge University Press , 1993
Buku Teks SO
Ince, D.C.
An Introduction to discrete mathematics and formal system specification
Clarendon Press, 1988
Buku Teks SO