Text this: The correctness problem in computer science /