@ARTICLE{CLSS04, 
	author = {Giuseppe Della Penna},
	title = {A Type System for Static and Dynamic Checking of C++ Pointers}, 
	doi = {10.1016/j.cl.2004.05.002},
	journal = {Computer Languages, Systems and Structures},
	editor = {Elsevier},

	pages = {71--101},
	year = {2005},
	month = {7},
	volume = {31},
	number = {2}
	
}