Title: Solutions manual to accompany Reasoning with a computer in PASCAL, by Daniel Solow