1. B.P. Collins, J.E. Nicholls, and I.H. Sørensen. Introducing formal methods: the CICS experience with Z. Technical Report TR12.260, IBM Hursley Park, December 1987.
2. I.S.C. Houston. The CICS application programming interface: Transactions and principal facilities. Technical Report TR12.306, IBM Hursley Park, April 1991.
3. IBM Corporation. CICS/ESA Application Programmer's Reference. SC33–0676.