EPTCS 66 - DSL 2011