Proving algorithms by tail functions (1971)

by A Mazurkiewicz
Venue:Information and Control