@Article{BK00,
author={C. Baier and M. Kwiatkowska},
title={Domain Equations for Probabilistic Processes},
journal={Mathematical Structures in Computer Science},
year={2000},

volume={10},
number={6},
pages={665-717},
publisher={},
month={},
note={},
key={}
}