Derek Coleman Jane W. Hughes The Clean Termination of Pascal Programs. 195-210 1979 11 Acta Inf. db/journals/acta/acta11.html#ColemanH79