Bibliography  pp. 167-169

Bibliography

By Sara Turing, John F. Turing, Lyn Irvine and Martin Davis