Exercises of the software foundations book