Martin Fowler
-
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)