Defensive Programming And Design By Contract