Duality for Labelled Markov Processes - Mislove, M; Ouaknine, J; Pavlovic, D; Worrell, J (Springer Verlag, 2004)