IFIP Working Conference on Formal Description of Programming Concepts (1977 St. Andrews, N.B.)

• Formal description of programming concepts
• Preprints of technical papers
• Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts