Algebraic specification with provision for the automatic addition of error descriptions