Bruce Lawrence Horn Thesis Title: Constrained Objects Degree Type: Ph.D. in Computer Science Advisor(s): James Morris, Jeannette Wing Graduated: December 1993