8Xue Jinyun.Formal Derivation of Graph Algorithmic Programs Using Partition-and-Recur[J].Joumal of Computer Science and Technology,1997,13(6):553-561. 被引量:1
9Xue Jinyun.Developing the Genetic Path Algorithmic Program and Its instantiations Using PAR Method[R].Proeeedings of The Second Asian Workshop on Programming Languages,KAIST,Korea,2001. 被引量:1
10Xue Jinyun.PAR Method and its Supporting Plafform[R].Proeeedings of AWCVS 2006,Maeao,OCT,2006:29-31. 被引量:1