Describir: Discrete mathematics in computer science /