On Founding the Theory of Algorithms (1998)

by Yiannis N. Moschovakis, Let L