Voronkov. (2013). Programming Logics (1.). Springer Berlin Heidelberg.
Chicago-viite (17. p.)Voronkov. Programming Logics. 1. Springer Berlin Heidelberg, 2013.
MLA-viite (8. p.)Voronkov. Programming Logics. 1. Springer Berlin Heidelberg, 2013.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.