Mieke Massink Gethin Norman Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages QAPL http://dx.doi.org/10.4204/EPTCS.57 2011 EPTCS 57 db/series/eptcs/eptcs57.html