5 papers:
CSMR-1999-SellinkVS #cics #cobol #legacy- Restructuring of COBOL/CICS Legacy Systems (MPAS, CV, HMS), pp. 72–82.
- CSMR-1998-BrandSV #cics #cobol #control flow #legacy #normalisation
- Control Flow Normalization for COBOL/CICS Legacy System (MvdB, MPAS, CV), pp. 11–20.
FME-1996-HoareDNS #cics- Applying the B Technologies on CICS (JH, JD, DN, IHS), pp. 74–84.
TRI-Ada-C-1992-Fussichen #ada #cics #exclamation- Ada and CICS: or (yes! Ada can be done on an IBM Mainframe) (KF), pp. 415–422.
- VDME-1991-1-HoustonK #case study #cics #experience
- CICS Project Report: Experiences and Results from the use of Z in IBM (IH, SK), pp. 588–596.
