@Incollection{EPTCS129.1, author = {Jones, Neil D.}, year = {2013}, title = {A Swiss Pocket Knife for Computability}, editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, {\rm Manhattan, Kansas, USA, 19-20th September 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {129}, publisher = {Open Publishing Association}, pages = {1-17}, doi = {10.4204/EPTCS.129.1}, }