5 works on record
Mathematical foundations of programming semantics
Software measurement
Mathematical Foundations of Programming Language Semantics
Categorical Perspectives
Mathematical Foundation of Programming Semantics