APA (7th ed.) Citation

Clarke. (2013). Aliasing in Object-Oriented Programming. Types, Analysis and Verification (1.). Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Clarke. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.

MLA (8th ed.) Citation

Clarke. Aliasing in Object-Oriented Programming. Types, Analysis and Verification. 1. Springer Berlin Heidelberg, 2013.

Warning: These citations may not always be 100% accurate.