There are currently no books by Rajeev Alur available in the United States