Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. "Cyclone: A Safe Dialect of C"

[Proceedings] (2002) USENIX Annual Technical Conference, Monterey, CA, June 2002  

Languages mentioned Cyclone {1998}