Li Guangyuan, Tang Zhisong. Representación lógica temporal continua y verificación de sistemas de reacción, Journal of Computer Science, 26(11): 1424-1434, 2003.
Li Guangyuan, Tang Zhisong. Con lógica secuencial lineal de variables de reloj y verificación del sistema en tiempo real, Journal of Software, 13(1): 33-41, 2002.
Li Guangyuan, Tang Zhisong. basado en lógica secuencial, Journal of Software, 13 (2): 193-202, 2002.
Li Guangyuan, Tang Zhisong Formalización y verificación de punteros en los programas XYZ/E del lenguaje lógico temporal. Software, Vol.11, No.3, 285-292, 2000.