Na podstawie artykułu: "Plik:Amir Pnueli.jpg" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy