Philippe Gautron: An Assertion Mechanism Based on Exceptions. C++ Conference 1992: 245-262