'IFIP TC-2 Working Conference on Formal Description of Programming Concepts ... organized by IFIP Technical Committee 2, Programming [of the] International Federation of Information Processing' - half title page verso.
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. ISBN 0444851070. Published by North-Holland Publishing Co. in 1978. Publication and catalogue information, links to buy online and reader comments.