Stochastic relations : foundations for Markov transition systems - Doberkat, Ernst-Erich (Chapman & Hall/CRC, 2007)