//-->
On the minimum of independent geometrically distributed random variables
Ciardo, Gianfranco, (1995)
Structured program design : a designer's handbook
Nicol, David, (1994)
Complexity of Memory-Efficient Kronecker Operations with Applications to the Solution of Markov Models
Buchholz, Peter, (2000)