On ordered stopping times of a Markov process

From MaRDI portal