Courant Computer Science Symposium New York 1971.

• Data base systems
• Algorithm specification
• Design and optimization of compilers