Building bridges : between mathematics and computer science (2008)