Foundations of Computer Software. Future Trends and Techniques for Development 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers - Choppy, Christine (Springer-Verlag Berlin Heidelberg, 2010)