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