E. H. den Hertog H. J. C. Gerbscheid Martin L. Kersten Do-Select Reconsidered. 32-35 1983 18 SIGPLAN Notices 3 db/journals/sigplan/sigplan18.html#HertogGK83 http://doi.acm.org/10.1145/988209.988212