Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)
CICS project report experiences and results from the use of Z in IBM
Unable to display preview. Download preview PDF.
- 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.Google Scholar
- I.S.C. Houston. The CICS application programming interface: Transactions and principal facilities. Technical Report TR12.306, IBM Hursley Park, April 1991.Google Scholar
- IBM Corporation. CICS/ESA Application Programmer's Reference. SC33–0676.Google Scholar
© Springer-Verlag Berlin Heidelberg 1991