How to program an infinite abacus (1961)

by Joachim Lambek
Venue:Canad. Math. Bull