CICS project report experiences and results from the use of Z in IBM

  • Iain Houston
  • Steve King
Part of the Lecture Notes in Computer Science book series (LNCS, volume 551)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [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.Google Scholar
  2. [2]
    I.S.C. Houston. The CICS application programming interface: Transactions and principal facilities. Technical Report TR12.306, IBM Hursley Park, April 1991.Google Scholar
  3. [3]
    IBM Corporation. CICS/ESA Application Programmer's Reference. SC33–0676.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Iain Houston
    • 1
  • Steve King
    • 2
  1. 1.IBM United Kingdom Laboratories LtdWinchester
  2. 2.Oxford University Computing LaboratoryProgramming Research GroupOxford

Personalised recommendations