Reasoning Practically C by Ullmann-margalit (ed)