Varieties of iteration theories (1988)

by S L Bloom, Z Esik
Venue:SIAM Journal of Computing