Thanks! Just for completeness apparently Alloy is at version 6 now (http://alloytools.org/alloy6.html http://alloytools.org/alloy6.html) and the book is based

Thanks! Just for completeness apparently Alloy is at version 6 now (http://alloytools.org/alloy6.html http://alloytools.org/alloy6.html) and the book is based on version 4 (http://alloytools.org/book.html http://alloytools.org/book.html). There's another resource linked on the site: https://haslab.github.io/formal-software-design/ https://haslab.github.io/formal-software-design/