Semánticas de pruebas para álgebras de procesos probabilísticos - Núñez García, Manuel. (Universidad Complutense de Madrid, 1996)