@book{ 89161,
	author = "Kuntz, Matthias;  Siegle, Markus",
	editor = "",
	title = "A Stochastic Extension of the Logic PDL ",
	publisher = "Universität der Bundeswehr München, Fakultät für Informatik",
	number = "2004-05",
	year = "2004-10"
}