Title: Proceedings of the seventh IBM Symposium on mathematical foundations of computer science
First published: 1982
Subjects: Electronic data processing, Computers, Formal languages