"Formal Methods for Quantitative Aspects of Programming Languages: 10th International School on Formal Methods for the Design of Computer, ... Programming and Software Engineering)" - читать интересную книгу автора (Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky)