Interprocedural Analysis And The Verification Of Concurrent Programs. by Akash Lal