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

Dillig. (2019). Computer Aided Verification (1.). Springer International Publishing.

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

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.

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

Dillig. Computer Aided Verification. 1. Springer International Publishing, 2019.