A paper on contract programming in C++