Richard Lerner Thesis Title: Specifying Objects of Concurrent Systems Degree Type: Ph.D. in Computer Science Advisor(s): Jeannette Wing Graduated: May 1991