Background, Reserve, and Gandy Machines.

Andreas Blass, Yuri Gurevich

Browse the full CSL paper archive.