1. Horning, J.J., Randell, B.: Process Structuring. Computing Surveys 5, 15–30 (1973)
2. Zurcher, F.W., Randell, B.: Iterative Multi-level Modelling—a Methodology for Computer Systems Design. In: IFIP Congress, pp. D138–D142 (1968)
3. Minsky, M.: Computation, Finite and Infinite Machines. Prentice-Hall, Englewood Cliffs (1967)
4. Horning, J.J., Randell, B.: Structuring Complex Processes. RC 2459. IBM Thomas J. Watson Research Center, Yorktown Heights (1969)
5. Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman, Boston (2002)