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

by Samiha Mourad, Dorothy Andrews
Venue:IEEE Transactions on Software Engineering