Combinatorial search - Aigner, Martin (Wiley-Teubner series in computer science, 1988)