A Bonus from van Wijngaarden's Device
CACM August, 1972
Morris Jr., J. H.
