Work/exercise problems from Concrete Abtractions (Hailperin, Kaiser, Knight)