Software composition 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 ; proceedings (Springer, 2013)