@Book{KST00,
editor={M. Kwiatkowska and M. Shields and R. Thomas},
title={Semantics for Concurrency},
publisher={Springer-Verlag},
year={1990},

volume={},
series={},
address={},
edition={},
month={},
note={},
key={}
}