Alessandra Di Pierro Gethin Norman Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages QAPL http://dx.doi.org/10.4204/EPTCS.28 2010 EPTCS 28 db/series/eptcs/eptcs28.html