Text this: Engineering contracts and specifications