3 works on record
Formal Techniques for Distributed Systems
Tools and Algorithms for the Construction and Analysis of Systems
Partial Evaluation : Practice and Theory