by recursive step: Church’s analysis of effective calculability (with a Postscript), forthcoming in Zenil, H. A Computable Universe, World Scientific (2012)

by W Step Sieg