APA-referens (7:e uppl.)
Bertrand Meyer, M. N. Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures. Springer.
Chicago-referens (17:e uppl.)
Bertrand Meyer, Martin Nordio. Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures. Berlín, Alemania: Springer.
MLA-referens (9:e uppl.)
Bertrand Meyer, Martin Nordio. Tools for Practical Software Verification: International Summer School, LASER 2011, Elba Island, Italy, Revised Tutorial Lectures. Springer.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.