Proceedings of a conference on theoretical computer science. University of Waterloo, Ontario, Canada, august 15-17, 1977. - 1977.