@ -761,6 +761,7 @@ Kerridge (PDF) (email address *requested*, not required)
* [Semantics with Applications: A Formal Introduction ](http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html ) - Hanne Riis Nielson, Flemming Nielson
* [Semantics with Applications: A Formal Introduction ](http://www.daimi.au.dk/~bra8130/Wiley_book/wiley.html ) - Hanne Riis Nielson, Flemming Nielson
* [Structure and Interpretation of Computer Programs ](https://mitpress.mit.edu/sicp/ )
* [Structure and Interpretation of Computer Programs ](https://mitpress.mit.edu/sicp/ )
* [Structure and Interpretation of Computer Programs ](http://sarabander.github.io/sicp/html/index.xhtml )
* [Structure and Interpretation of Computer Programs ](http://sarabander.github.io/sicp/html/index.xhtml )
* [The Black Art of Programming ](http://self.gutenberg.org/wplbn0002828847-the-black-art-of-programming-by-mcilroy-mark.aspx? ) - Mark McIlroy
* [Think Complexity ](http://www.greenteapress.com/compmod/ ) - Allen B. Downey
* [Think Complexity ](http://www.greenteapress.com/compmod/ ) - Allen B. Downey