Courant Computer Science Symposium New York 1970.

• Computer networks
• Debugging techniques in large systems
• Formal semantics of Programming languages