On the Alloy website, you’ll find a tutorial, reference manual, papers, and case studies. The discussion forum is a good place to ask basic and advanced questions of other users. Bug reports and suggestions to info@alloytools.org.