Concrete mathematics (Reading, Mass. : Addison-Wesley, 1994)