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