APA-viite (7. p.)

Silva. (2021). Computer Aided Verification (1.). Springer International Publishing.

Chicago-viite (17. p.)

Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.

MLA-viite (8. p.)

Silva. Computer Aided Verification. 1. Springer International Publishing, 2021.

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