This afternoon I got home from work to find a letter from Waterstone's saying that my copy of Software Abstractions had arrived. I put my shopping bags down on the kitchen table and went straight back out again and caught the bus back into town to pick it up. Zoe had to to spend an extra 45 minutes at after-school club as a consequence.
I have high hopes for this book, and will talk about it more when I have had a chance to go through it. Of all the specification methods that I have come across, Daniel Jackson's Alloy is the most similar to my own ideas. I like its simplicity and cleaness. I now want to find out how practical and scalable it is.