D. Brastow
-
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes