Alloy

Daniel Jackson
2019 Communications of the ACM  
doi:10.1145/3338843 fatcat:mjupntflq5baxcms6ja7act6au