Ittai Balaban Ariel Cohen 0002 Amir Pnueli Ranking Abstraction of Recursive Programs. 267-281 2006 conf/vmcai/2006 VMCAI http://dx.doi.org/10.1007/11609773_18 db/conf/vmcai/vmcai2006.html#BalabanCP06