Lab exercises for a discrete structures course: exploring logic and relational algebra with Alloy, Laura Brown, Adam Feltz, Charles Wallace
Michigan Tech Publications