Amir Pnueli Lenore D. Zuck 124-135 conf/lics/LICS8 1993 LICS db/conf/lics/lics93.html#PnueliZ93