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 - Neuhold, Erich J. (North-Holland Pub. Co., 1978)