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