Sieger van Denneheuvel Karen L. Kwast Peter van Emde Boas Fred de Geus Ernest Rotterdam Symbolic computation in RL/1. 559-564 1991 DEXA db/conf/dexa/dexa91.html#DenneheuvelKBGR91