I purchased 'Communicating and Mobil Systems: the Pi-Calculus' last week. http://www.amazon.com/Communicating-Mobile-Systems-Robin-Mil.... This is the first computing theory book I have read. It's quite readable and very well written.