Mathematical foundations of computer science (IK International, 2011)