1. LNCS;J. R. Abrial,1996
2. Tang, C. S., A temporal logic language oriented toward software engineering—An introduction to XYZ system (I),Chinese Journal of Advanced Software Research, 1994, 1(1): 1.
3. Tang, C. S., An outline of the XYZ system, Logic of Software Engineering, inProc. of a Workshop 1995, Beijing (eds. Pnueli, A., Lin, H.), Singapore: World Scientific, 1996, 299–311.
4. Yan An, Tang, C. S., Building hybrid real-time systems in XYZ/E—The final implementation of the steam-boiler control specification problem,Chinese Journal of Advanced Software Research, 1999, vol. 6, No. 3 (in press).
5. Manna, Z., Pnueli, A., Clocked transition systems, Logic of Software Engineering, inProc. of a Workshop 1995, Beijing (eds. Pnueli, A., Lin, H.), Singapore: World Scientific, 1996, 3–42.