BibTex format
@article{Mousavi:2009:10.1016/j.ic.2007.11.008,
author = {Mousavi, M and Phillips, I and Reniers, M and Ulidowski, I},
doi = {10.1016/j.ic.2007.11.008},
journal = {Information and Computation},
title = {Semantics and expressiveness of ordered SOS},
url = {http://dx.doi.org/10.1016/j.ic.2007.11.008},
year = {2009}
}