@inbook{Kai_Huuck_10,
    author           = {Engelhardt, Kai and Huuck, Ralf},
    booktitle        = {Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever},
    editor           = {{Dennis Dams, Ulrich Hannemann, Martin Steffen }},
    isbn             = {364211511X},
    month            = feb,
    pages            = {250--259},
    publisher        = {Springer},
    series           = {Lecture Notes in Computer Science},
    title            = {Smaller Abstraction for {ACTL}* Without Next},
    volume           = {5930},
    year             = {2010}
  }