Background, reserve, and Gandy machines (2000)

by Andreas Blass, Yuri Gurevich
Venue:Lecture Notes in Computer Science 1862