A stochastic extension of the logic PDL - Kuntz, Matthias; Siegle, Markus 1964- (Univ. of the Federal Armed Forces, Dep. of Computer Science, 2004)
Literaturverz. S. 46