I know I am probably a bit behind the times, but I have just come across these three favorable reviews of Daniel Jackson's Software Abstractions: Logic, Language, and Analysis
- George Hacken, Computing Reviews, CR133293
- Panagiotis Louridas, Computing Reviews, CR133957
- Fernando Berzal, Computing Reviews, CR134453
It is nice when you find out that other people agree with you about something.