Formal Methods For Quantitative Aspects Of Programming Languages door