@inproceedings{Lut03b,
author = {Bas Luttik},
title = {A Unique Decomposition Theorem for Ordered Monoids with
Applications in Process Theory.},
booktitle = {Proceedings of MFCS 2003},
year = {2003},
pages = {562--571},
crossref = {MFCS03}
}
@proceedings{MFCS03,
editor = {Branislav Rovan and
Peter Vojt{\'a}s},
title = {Mathematical Foundations of Computer Science 2003, 28th
International Symposium, MFCS 2003, Bratislava, Slovakia,
August 25-29, 2003, Proceedings},
booktitle = {Proceedings of MFCS 2003},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2747},
year = {2003}
}