Theoretical Computer Science Volume 376, Issue 3 - Fundamental Aspects of Software Engineering