Foundations of software science and computational structures : 12th International Conference, FOSSACS 2009, held as part of the joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22 - 29, 2009 proceedings