I was a programmer and designer on the team of IBM’s most
successful software product: CICS. We received the Queen’s Award for
jointly with the University of Oxford’s Programming Research Group in
1992 for our use of Software Engineering mathematics in our
specifications using the Z notation. I wrote in this Springer Verlag
about how we succeeded in saving substantial development costs.
It has been said that western capitalism was running on CICS as 99 of
the Fortune 100 companies were running on it along with the majority of
Fortune 500 companies. CICS is now a component of IBM’s Websphere
family of products.