Text this: Reasoning with a computer in Pascal /