@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}
}