1. Collins R, Lipton A, Kanade T,et al. A System for Video Surveillance and Monitoring.Carnegie Mellon University Technical Report, (CMU-RI-TR-00-12), Robotics Institute, 2000.
2. Wang Chia-Hui, Chang Ray-I, Ho Jan-Ming. An Effective Communication Model for Collaborative Commerce of Web-Based Surveillance Services.IEEE Conference on Electronic Commerce, CEC03, Newport Beach, California, USA,http://cscl.iis.sinica.edu.tw/documents/chwany/WangC_Su rveillance. pdf, June, 2003.
3. Ho Jan-Ming, Juang Jie-Yong, Wang Chia-Hui,et al. Design and Implementation of a Web-based Surveillance System Using Internet Multicast Communications.International IEEE Conference on Software, Telecommunications and Computer Networks (IEEE SoftCOM), Croatia & Italy,http://cscl. iis. sinica. edu. tw/documents/chwang/soft-COM.pdf, Oct. 2000.
4. Woodcock J, Davies J. Using Z: Specification, Refinement and Proof.http://www.comlab.ox.ac.uk/igdp/usingz, 1996.
5. Woodcock J. Calculating Properties of Z Specifications.ACM SIGSOFT Software Engineering Notes, 1989,14(4): 43–54.