Work by D. Hugh Redelmeier (source code)

= Work by D. Hugh Redelmeier