逻辑建模工具Alloy用户手册,这是第二版Alloy的教学材料