@InProceedings{Kwi91,
author={M. Kwiatkowska},
title={On the Domain of Traces and Sequential Composition},
booktitle={Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT'91)},
year={1991},

editor={},
pages={42-56},
organization={},
publisher={},
series={},
volume={},
address={},
month={},
note={},
key={}
}