Mathematics; Alison Pease, Alan Smaill, Simon Colton and John Lee -- Chapter 16.