Work by David J. Lipman (source code)

= Work by David J. Lipman
{c}