Stochastic relations : foundations for Markov transition systems | UPT Perpustakaan UHAMKA