Advertisement

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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