Combinatorial search - Aigner, Martin (Teubner, 1988)