A theory of regular MSC languages - Henriksen, J.G. (2013)
10.1016/j.ic.2004.08.004