3 works on record
Formal Methods and Software Engineering
Unifying Theories of Programming
Dependable Software Engineering. Theories, Tools, and Applications