How to program an infinite abacus (1961)

by J Lambek
Venue:Canadian Mathematical Bulletin