Fact-based extensions to object-oriented analysis and design. - Ian James Victor Walker (1995)