APA aipamena

Voronkov. (2013). Programming Logics (1.). Springer Berlin Heidelberg.

Chicago Style aipamena

Voronkov. Programming Logics. 1. Springer Berlin Heidelberg, 2013.

MLA aipamena

Voronkov. Programming Logics. 1. Springer Berlin Heidelberg, 2013.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.