> a po angielsku:
>
> Daniel Friedman, Mitchell Wand, Christopher Haynes, "Essentials of Programming
Languages"
> Douglas Hofstadter, "Goedel, Escher, Bach."
> Gilles Fauconnier, Mark Turner, "The Way We Think"

A, no i jeszcze
Peter Norvig, "Paradigms of Artificial Intelligence Programming"
parę lat temu wrzucona na githuba:
https://github.com/norvig/paip-lisp

Anglojęzyczną wersję "Struktury i Interpretacji Programów Komputerowych" też można
oficjalnie znaleźć w sieci:
https://mitpress.mit.edu/sites/default/files/sicp/in
dex.html

(wersji polskojęzycznej oficjalnie nie ma, a nieoficjalnie szwęda się po różnych
chomikach. Ale wersja papierowa powinna być w większości uczelnianych bibliotek)