Covering letter

to Proceedings of the Third IBM Conference on Mathematical Foundations of Computer Science