Gaya APA
Gonthier, G., Norrish, M.
(2013).
Certified Programs and Proofs
.
:
Springer.
Gaya MLA
Gonthier, Georges., Norrish, Michael.
"Certified Programs and Proofs".
:
Springer,
2013.
E-Book.