Systematic program design from clarity to efficiency (Cambridge Univ. Press, 2013)
Includes bibliographical references (pages 213-233) and index