Zaslat SMS: Generalized recursion theory II : proceedings of the 1977 Oslo symposium / edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks.