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 Working Conference on Formal Description of Programming Concepts
Bok Engelsk 1978