Proving algorithms by tail functions (1971)

by A W Mazurkiewicz
Venue:Information and Control