Set Theory and Algebra in CS: Introduction to Mathematical Modeling (2013) [pdf]