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