Renato Cherini, Javier O. Blanco, & The Pennsylvania State University Cite Seer X Archives. (2009). Local reasoning for abstraction and sharing. http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.Pdf.
ISO-690 (author-date, English)RENATO CHERINI, JAVIER O. BLANCO und THE PENNSYLVANIA STATE UNIVERSITY CITESEERX ARCHIVES, 2009. Local reasoning for abstraction and sharing. http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf. 1 Januar 2009.
Modern Language Association 9th editionRenato Cherini, Javier O. Blanco, und The Pennsylvania State University Cite Seer X Archives. „Local Reasoning for Abstraction and Sharing“. http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.Pdf, Januar 2009.
Mohr Siebeck - Recht (Deutsch - Österreich)Renato Cherini/Javier O. Blanco/The Pennsylvania State University Cite Seer X Archives: Local reasoning for abstraction and sharing, http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.pdf 2009,
Emerald - HarvardRenato Cherini, Javier O. Blanco und The Pennsylvania State University Cite Seer X Archives. (2009), „Local reasoning for abstraction and sharing“, http://www.cs.famaf.unc.edu.ar/~renato/sites/default/files/pubs/lreasoning.Pdf.