J. W. de Bakker Jeffery I. Zucker 153-158 conf/stoc/STOC14 1982 STOC db/conf/stoc/stoc82.html#DeBakkerZ82 http://doi.acm.org/10.1145/800070.802188