4 works on record
Mathematical foundations of computer science 1986
1986
Mathematical Foundations of Computer Science 1981
Foundations of Computing
Mathematical Foundations of Computer Science 1977