Title: International Symposium on Theoretical Programming
First published: 1974
Subjects: Logic design, Logics and Meanings of Programs, Computer science, Computer Science, Computer programming, Programming languages (electronic computers)