Clarke. (2013). Aliasing in Object-Oriented Programming. Types, Analysis and Verification (1.). Springer Berlin Heidelberg.
Citazione stile Chigago Style (17a edizione)Clarke. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Citatione MLA (8a ed.)Clarke. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.