Colin Kirsopp

• The Automated analysis of object-oriented designs