Author: Hoare, Wheeler, and Lenehan.