Alloy CACM October 11, 2019Daniel's CACM article about Alloy is now available. There's also a video showing Alloy in action.