Comment by pthreads

Try What Can be Computed by John MacCormick :

https://press.princeton.edu/books/hardcover/9780691170664/wh...