Text this: Formal methods and software engineering :