W. A. Schwomeyer. Verification of a virtual storage architecture on a microprogrammed computer. In American Federation of Information Processing Societies: 1973 National Computer Conference, 4-8 June 1973, New York, NY, USA. Volume 42 of AFIPS Conference Proceedings, pages 401-406, AFIPS Press/ACM, 1973. [doi]
Abstract is missing.