You should have a look at https://mitpress.mit.edu/books/reasoned-schemer