Formal description of programming concepts : proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, St. Andrews, N.B., Canada, August 1-5, 1977 - IFIP TC-two Working Conference on Formal Description of Programming Concepts August 1-5,1977 : cauada); Neuhold, Erich J. (Amsterdam : North-Holland Pub., 1978)
Includes index
Keywords: Computer programming -- Congresses; Formal languages -- Congresses