Source: wikibot/alloy-specification-language

= Alloy (specification language)
{wiki=Alloy_(specification_language)}