2 works on record
Mathematical Foundations of Computer Science 1997
Mathematical Foundations of Computer Science 1994