(2021). High-Confidence Computing. Elsevier.
Παραπομπή σε μορφή Chicago (17η εκδ.)High-Confidence Computing. Elsevier, 2021.
Παραπομπή σε μορφή MLA (8th εκδ.)High-Confidence Computing. Elsevier, 2021.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.