I found these doents recently (links at the bottom)

[url]http://www.infrastructures.org/papers/bootstrap/bootstrap.html[/url]
[url]http://www.infrastructures.org/papers/turing/turing.html[/url]