Mathematics in computer science (Birkhäuser Verlag, 2007)
Refereed/Peer-reviewed