Abacus Machines [pdf]