Jon C. Strauss. An analytic model of the HASP execution task monitor. In Stephen R. Kimbleton, J. D. Madden, Tad B. Pinkerton, editors, Proceedings of the 1973 ACM SIGME Symposium, SIGME 1973, USA, 1973. pages 22-28, ACM, 1973. [doi]
Abstract is missing.