Formal description of programming concepts Proceedings of the IFFP working conference on Formal description of programming concepts : St. Andrews, N. B., Canada Aug. 1-5, 1977 - Paul, Manfred (rz1, 1978)