1. Edward V. Berard “Issues in the testing of object-oriented software” The Object Agency
2. “Toward a mathematical foundation of software engineering methods,”;Broy;IEEE Transactions on Software Engineering,2001
3. “A theory of object-oriented design,”;Eden;Information Systems Frontiers,2002