Darrell Reimer Edith Schonberg Kavitha Srinivas Harini Srinivasan Julian Dolby Aaron Kershenbaum Larry Koved Validating structural properties of nested objects. 294-304 2004 conf/oopsla/2004 OOPSLA Companion http://doi.acm.org/10.1145/1028664.1028774 db/conf/oopsla/oopsla2004.html#ReimerSSSDKK04