A book introducing basic concepts from computational number theory and algebra, including all the necessary mathematical background. Available as PDF under a creative commons license and as book from Cambridge University Press. (Recommended by Mark Wooding).
A way of putting together formally understandable systems from concurrent parts. Similar style to the automata theory book and, again, offers a new way to look at just about everything. [from a post on comp.lang.lisp]