Stav dette: Concrete mathematics: a foundation for computer science