Saharon Shelah, “Choiceless polynomial time,” Ann. Pure Appl. Logic 100 (1999)

by Andreas Blass, Yuri Gurevich
Venue:Gandy machines,” in Computer Science Logic (14th International Workshop, CSL 2000, Annual Conference of the EACSL