Labelled Markov processes - Panangaden, P. (Prakash) (Imperial College Press, 2009)