Robust

The Art of Assertive Programming