Weighted computations: semantics and program logics - Gomes, Leandro Rafael Moreira (2022)