2 works on record
From Lambda Calculus to Cybersecurity Through Program Analysis
Formal Methods for Quantitative Aspects of Programming Languages