2 works on record
Models, Algorithms, Logics and Tools
Foundations of Software Science and Computational Structures