An algebraic approach to the specification of stochastic systems.

Pedro R. D'Argenio Joost-Pieter Katoen Ed Brinksma An algebraic approach to the specification of stochastic systems. 126-147 1998 conf/procomet/1998 PROCOMET db/conf/procomet/procomet1998.html#DArgenioKB98