Alessandra Di Pierro Herbert Wiklicky Preface: Quantitative aspects of programming languages. 1-2 2007 382 Theor. Comput. Sci. 1 db/journals/tcs/tcs382.html#PierroW07