Reference author: Rajeev Alur

First name
Rajeev
Last name
Alur