2 works on record
Formal Methods : Foundations and Applications
Fundamental Approaches to Software Engineering