Amir Pnueli: verschil tussen versies