Text this: Formal methods in programming and their applications :