db/conf/dl/PediotakisH96.html http://doi.acm.org/10.1145/226931.226942 Nikos Pediotakis Mountaz Hascoët-Zizi 54-62 DL1996/P054.pdf 1996 conf/dl/96 Digital Libraries db/conf/dl/dl96.html#PediotakisH96