Mathematics in computer science (Birkhäuser, 2007)