M. Howard Williams Is an Exit Statement Sufficient? 47-51 1983 17 Inf. Process. Lett. 1 db/journals/ipl/ipl17.html#Williams83