APA-viite (7. p.)
Sergei N. Artemov, A. N. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Springer.
Chicago-viite (17. p.)
Sergei N. Artemov, Anil Nerode. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Berlín, Alemania: Springer.
MLA-viite (9. p.)
Sergei N. Artemov, Anil Nerode. Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.