cs-cpp-figure A C++ implementation of a geometric figures example based on formal specification Object-Z