Cita APA (7th ed.)
John Cooke. Constructing Correct Software (2a edición.). Springer.
Cita Chicago (17th ed.)
John Cooke. Constructing Correct Software. 2a edición. Londres, Inglaterra: Springer.
Cita MLA (9th ed.)
John Cooke. Constructing Correct Software. 2a edición. Springer.
Atenció: Aquestes cites poden no estar 100% correctes.