Worked Examples in Computer Science. - B. Skudder; Andrew Luxton-Reilly (ACE, 2014)