Title: The Automated analysis of object-oriented designs
First published: 2001