1. RTL/2 Design and Philosophy;Barnes,1976
2. The programming language Concurrent Pascal;Brinch Hansen;IEEE Transactions on Software Engineering,1975
3. Cooperating Sequential Processes in Programming Languages;Dijkstra,1968
4. Special purpose languages for behavioural experiments;Hale;International Journal of Man-Machine Studies,1981
5. Monitors: an operating system structuring concept;Hoare;Communications of the Association for Computing Machinery,1974