1

Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981  [doi>10.1145/357146.357149]

2

B. Liskov, "Primitives for Distributed Computing," Computation Structures Group Memo 175, MIT Laboratory for Computer Science (May 1979).

3

Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974

4

Roy H. Campbell , Robert B. Kolstad, An overview of path Pascal's design, ACM SIGPLAN Notices, v.15 n.9, p.13-14, September 1980  [doi>10.1145/947706.947707]

5

"Reference Manual for the Ada Programming Language", United States Department of Defense (November 1980).

6

N. Wirth, "Modula-2," Technical Report 36, ETH, Institut fur Informatik, Zurich (March 1980).

7

Paul Francis Reynolds, Jr., Parallel processing structures: languages, schedules, and performance results, 1979

8

P. F. Reynolds. jr., private communication, May 1982.

9

D. I. Good, R. M. Cohen, and L. W. Hunter, "A Report on the Development of Gypsy," Certifiable Minicomputer Project Report ICSCA-CMP-13. The Institute for Computing Science and Computer Applications, the University of Texas at Austin (October 1978).

10

K. M. Chandy and J. Misra, "Deadlock Absence Proofs for Networks of Communicating Processes," Information Processing Letters, 9(4), pp. 185--189 (November 1979).

11

D. I. Good. R. M. Cohen, and J. Keeton-Williams, "Principles of Proving Concurrent Programs in Gypsy." Certifiable Minicomputer Project Report ICSCA-CMP-15, The Institute for Computing Science and Computer Applications, the University of Texas at Austin (January 1979).

12

David Gries, An exercise in proving parallel programs correct, Communications of the ACM, v.20 n.12, p.921-930, Dec. 1977  [doi>10.1145/359897.359903]

13

S. Owiki and D. Gries, "Axiomatic Proof Techniques for Parallel Programs," Acta Informatica, 6, pp. 319--340 (June 1976).

14

Niklaus Wirth, Toward a discipline of real-time programming, Communications of the ACM, v.20 n.8, p.577-583, Aug. 1977  [doi>10.1145/359763.359798]

15

N. Wirth, "Modula: A Language for Modular Multiprogramming," Software--Practice and Experience, 7, pp. 3--35 (1979).

16

N. Wirth, "The Use of Modula," Software--Practice and Experience, 7, pp. 37--65 (1979).

17

N. Wirth, "Design and Implementation of Modula," Software--Practice and Experience, 7, pp. 67--84 (1979).

18

Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978  [doi>10.1145/359642.359651]

19

C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978  [doi>10.1145/359576.359585]

20

P. Brinch Hansen, "The Programming Language Concurrent Pascal," IEEE Transactions on Software Engineering, 1(2), pp. 199--207 (June 1975).

21

Jerome A. Feldman, High level programming for distributed computing, Communications of the ACM, v.22 n.6, p.353-368, June 1979  [doi>10.1145/359114.359127]

22

J. A. Feldman, J. R. Low, D. Swinehart, and R. Taylor, "Recent Developments in SAIL, an Algol-based Language for Artificial Intelligence," Proceedings of the AFIPS 1972 FJCC, pp. 1193--1202, AFIPS Press (1972).

23

J. G. Mitchell, W. Maybury, and R. Sweet, "Mesa Language Manual, version 5.0," Xerox Palo Alto Research Center (April 1979).

24

Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980  [doi>10.1145/358818.358824]

25

P. Brinch Hansen. "Edison--A Multiprocessor Language," Software--Practice and Experience, 11(4), pp. 325--361 (April 1981).

26

P. Brinch Hansen. "The Design of Edison," Software--Practice and Experience, 11(4), pp. 363--396 (April 1981).

27

P. Brinch Hansen, "Edison Programs," Software--Practice and Experience, 11(4), pp. 397--414 (April 1981).

J. M. Bishop , R. Faria, Characteristics of modern system implementation languages, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.18-25, February 28-March 02, 1995, Nashville, Tennessee, United States

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