Lijun Dong, Jiafu Xu Formal semantics of some functional constructs of the software requirements definition language NDRDL. [Citation Graph (0, 0)][DBLP] COMPSAC, 1997, pp:642-645 [Conf]
Jianguo Lu, Jiafu Xu Development Transformation Based on Higher Order Type Theory. [Citation Graph (0, 0)][DBLP] Constructivity in Computer Science, 1991, pp:58-70 [Conf]
Jiafu Xu, Hong Zhu Requirements Analysis and Specification as a Problem of Software Automation. [Citation Graph (0, 0)][DBLP] SEKE, 1996, pp:457-464 [Conf]