Gaya APA
Kroger, F. (2007).
(E-BOOK - SISTEM INFORMASI - TEKNIK INFORMATIKA) Temporal Logic and State System (1).
London:
Springer.
Gaya MLA
Kroger, Fred.
"(E-BOOK - SISTEM INFORMASI - TEKNIK INFORMATIKA) Temporal Logic and State System".
1
London:
Springer,
2007.
Computer File.