A field report of using Alloy with agent-based development

alloytools.discourse.group