Zhaohui Wu;Tong Huang;Jing Ying;Zhijun He
-;-;-;-
A methodology for high-level software specification construction
ACM SIGSOFT Software Engineering Notes