Παραπομπή σε μορφή APA (7η εκδ.)

LFCS '94 (St. Petersburg, Russia), Matii︠a︡sevich, I. V., & Nerode, A. (1994). Logical foundations of computer science: Third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings. Springer-Verlag.

Παραπομπή σε μορφή Chicago (17η εκδ.)

LFCS '94 (St. Petersburg, Russia), I︠U︡. V. Matii︠a︡sevich, και Anil Nerode. Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.

Παραπομπή σε μορφή MLA (8th εκδ.)

LFCS '94 (St. Petersburg, Russia), et al. Logical Foundations of Computer Science: Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : Proceedings. Springer-Verlag, 1994.