Top 261 amir pnueli auth PDF Book Page 11