Text this: A programming approach to formal methods/