C. A. R. Hoare Editorial. 215-216 1994 4 J. Log. Comput. 3 db/journals/logcom/logcom4.html#Hoare94