Larch/C++

An interface specification language which can be used to formally specify C++ program modules.