C. V. Ramamoorthy. Analysis of computational systems: Discrete Markov analysis of computer programs. In Lewis Winner, editor, Proceedings of the 20th national conference, ACM 1965, Cleveland, Ohio, USA, 1965. pages 386-392, ACM, 1965. [doi]
Abstract is missing.