Eddy Damian
Indonesia`s formal legal system: an introduction
Comparative Study of Law, 1972
Buku Teks
Eddy Damian
Indonesia`s formal legal system : an introduction
Alumni, 1976
Buku Teks
Cann, Ronnie
Formal semantics: an introduction / Ronnie Cann
Cambridge University Press , 1993
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