Foundation Mathematics for Computer Science - Vince (Springer International Publishing, 2015)