Maurice Clint Program Proving: Coroutines Acta Inf. 2 1973 50-63 db/journals/acta/acta2.html#Clint73