Top 316 amir pnueli eds PDF Book Page 12