@Article{Kwi90,
author={M. Kwiatkowska},
title={A Metric for Traces},
journal={Information Processing Letters},
year={1990},

volume={35},
number={3},
pages={129-135},
publisher={},
month={},
note={},
key={}
}