@misc {IOPORT.70942456,
    author       = {Holzer, Markus and Kutrib, Martin and Meckel, Katja},
    title        = {Nondeterministic state complexity of star-free languages},
    howpublished = {CIAA, 178-189 (2011).},
    year         = {2011},
    doi          = {10.1007/978-3-642-22256-6_17},
    identifier   = {70942456},
}