EPTCS 76 - MSFP 2012