Eddy Damian
Indonesia`s formal legal system : an introduction
Alumni, 1976
Buku Teks
Eddy Damian
Indonesia`s formal legal system: an introduction
Comparative Study of Law, 1972
Buku Teks SO
Sheppard, Deri
An Introduction to formal specification with Z and VDM
McGraw-Hill, 1995
Buku Teks
Cann, Ronnie
Formal semantics: an introduction / Ronnie Cann
Cambridge University Press , 1993
Buku Teks
Carroll, John
Theory of finite automata: with an introduction to formal languages
Prentice-Hall, 1989
Buku Teks