This book may not be every programmer's cup of tea, but if you are interested in the Alloy programming language, agile modeling or a new way to look at software abstraction then this is the book for ...