Text this: Constructive computation in stochastic models with applications :