1. Z.X. Zhong: Programmable Control Theory and Application (South China University of Technology press, Beijing 2006) (In Chinese).
2. H. QYu: Electrical Control and Programmable Logic Controller Applications(Southeast University press, Beijing 2003) (In Chinese).
3. J.Q. Zhang Y.L. Chen: Programmable Controller Principle and Application Examples (Machinery Industry Press, Beijing 2004) (In Chinese).
4. N. Bauer, S. Engel and R. Houck: Lecture Notes in Computer Science, Vol. 3147(2004), p.517.
5. H. Dierks: Formal Aspects of Computing, Vol. 16(2004), p.104.