1. Modeling in Event-B: System and Software Engineering;Abrial,2010
2. A rewriting logic approach to the formal specification and verification of web applications;Alpuente;Sci. Comput. Program.,2014
3. A high-level specification for virtual providers;Altenhofen;IJBPIM,2006
4. A compositional framework for service interaction patterns and communication flows;Barros,2005
5. Interactive Theorem Proving and Program Development – Coq'Art: The Calculus of Inductive Constructions;Bertot,2004