1

C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974  [doi>10.1145/355620.361161]

2

BRINCH-HANSEN, P. The programming language Concurrent Pascal. IEEE Trans. on Software Engineering, 1, p. 199 (1975)

3

BRINCH-HANSEN, P. Concurrent Pascal machine. Technical Report, Dept. of Information Science, California Institute of Technology (1975).

4

BRINCH-HANSEN, P. The Solo operating system. Software: Practice & Experience, 6, p. 139 (1976)

5

LISTER, A. M., & MAYNARD, K. J. An implementation of monitors. Software: Practice & Experience, 6, p. 377 (1976).

6

LISTER, A. M., & SAYER, P. J. Hierarchical monitors. Proc. 1976 2nternational Conference on Parallel Processing, pp 43249. (IEEE Cat. No. 76CH1127-OC (1976).

7

John H. Howard, Proving monitors, Communications of the ACM, v.19 n.5, p.273-279, May 1976  [doi>10.1145/360051.360079]

8

KAUBISCH, W. H., PERROTT, R. H., & HOARE, C.A.R. Quasi-parallel programming. Software: Practice & Experience, 6, p. 341, (1976)

Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993

Toby Bloom, Evaluating synchronization mechanisms, Proceedings of the seventh ACM symposium on Operating systems principles, p.24-32, December 10-12, 1979, Pacific Grove, California, United States

Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983

M. Joseph , V. R. Prasad, More on nested monitor calls, ACM SIGOPS Operating Systems Review, v.12 n.2, p.21-25, April 1978

Wolfgang Hoyer, Intertask communication realized with an interrupt mechanism, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.463-470, October 1985, Denver, Colorado, United States

R. C. B Cooper , K. G. Hamilton, Preserving Abstraction in Concurrent Programming, IEEE Transactions on Software Engineering, v.14 n.2, p.258-263, February 1988

Chandrasekhar Boyapati , Robert Lee , Martin Rinard, Ownership types for safe programming: preventing data races and deadlocks, ACM SIGPLAN Notices, v.37 n.11, November 2002

Bruce K. Haddon, Nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.4, p.18-23, October 1977

F. B. Schneider , A. J. Bernstein, Scheduling in Concurrent Pascal, ACM SIGOPS Operating Systems Review, v.12 n.2, p.15-20, April 1978

Gail E. Kaiser , Brent Hailpern, An object-based programming model for shared data, ACM Transactions on Programming Languages and Systems (TOPLAS), v.14 n.2, p.201-264, April 1992

N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993

Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida

Horst Wettstein, The problem of nested monitor calls revisited, ACM SIGOPS Operating Systems Review, v.12 n.1, p.19-23, January 1978

Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996

C. Mohan, Survey of recent operating systems research, designs and implementations, ACM SIGOPS Operating Systems Review, v.12 n.1, p.53-89, January 1978

David L. Parnas, The non-problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.12 n.1, p.12-18, January 1978

L Kotulski, About the semantic nested monitor calls, ACM SIGPLAN Notices, v.22 n.4, p.80-82, April 1987

Andrew Edmunds , Michael Butler, Linking Event-B and Concurrent Object-Oriented Programs, Electronic Notes in Theoretical Computer Science (ENTCS), 214, p.159-182, June, 2008

Andrew Lister: colleagues