Text this: Specifications of reliable software :