D.: On the reliability of the IBM MVS/XA operating system (1987)

by S Mourad, Andrews
Venue:IEEE Transactions on Software Engineering