8Xue Jinyun.Formal Derivation of Graph Algorithmic Programs Using Partition-and-Recur[J].Joumal of Computer Science and Technology,1997,13(6):553-561.
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.
10Xue Jinyun.PAR Method and its Supporting Plafform[R].Proeeedings of AWCVS 2006,Maeao,OCT,2006:29-31.