Title: Correctness of IBM VisualAge C++ compiler extensions
First published: 2002