Title: Mathematical Foundations of Computer Science, 1980
Subjects: Machine theory, Congresses, Database management, Computer programming