Author: R.E. Vesley Stephen Cole Kleene