Jiafu Xu Hong Zhu Requirements Analysis and Specification as a Problem of Software Automation. 457-464 1996 SEKE db/conf/seke/seke1996.html#XuZ96