Foundations of software science and computational structures
: 14th international conference, FOSSACS 2011, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011 ; proceedings