Proving Algorithms by Tail Functions Antoni W. Mazurkiewicz 220-226 Information and Control April 1971 18 3 db/journals/iandc/iandc18.html#Mazurkiewicz71