APA-viite (7. p.)

Lahiri. (2020). Computer Aided Verification (1.). Springer International Publishing.

Chicago-viite (17. p.)

Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.

MLA-viite (8. p.)

Lahiri. Computer Aided Verification. 1. Springer International Publishing, 2020.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.