- Le Thi Hoai An, Pascal Bouvry, Pham Dinh Tao, editors, Modelling, Computation and Optimization in Information Systems and Management Sciences, Second International Conference, MCO 2008, Metz, France - Luxembourg, September 8-10, 2008. Proceedings. Volume 14 of Communications in Computer and Information Science, Springer, 2008.
- Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Volume 5382 of Lecture Notes in Computer Science, Springer, 2008.