Do-Select Reconsidered. - E. H. den Hertog; H. J. C. Gerbscheid; Martin L. Kersten (ACM SIGPLAN Notices, 1983)