Computing with sets of probability measures - Cozman, Fabio Gagliardi; Rocha, José Carlos Ferreira da; Campos, Cassio Polpo de (SIAM Worshop on Validated Computing, 2002)