Worked problems from SICP