Cyclone: A Safe Dialect of C.

Published in: USENIX Annual Technical Conference, General Track (2002)