Pages 48–56 from the book:
ISBN: 978-1-906715-20-5
Christian Reber, Martin Davis, Ueli Oetliker, Yanick Pelletier and Carole Savoie