Foundations of Computer Software. Future Trends and Techniques for Development - Choppy, Christine (Springer Berlin Heidelberg, 2010)