Amir Pnueli - andere talen