Chris Kasch.Illustration

Amir Pnueli - Communications Of The ACM Magazine