Formal Software Design with Alloy 6 book | Dark Hacker News