Work by R. D. van der Hilst (source code)

= Work by R. D. van der Hilst