Proceedings of a Conference on Theoretical Computer Science, 1977 (informationswissenschaftl. Veröffentlichungen)