“...IFIP TC-2 Working Conference on Formal Description of Programming Concepts ( St. Andrews, N.B.)...”