@InProceedings{johnsen10fmco,
  author =       {Einar Broch Johnsen and Reiner H{\"a}hnle and Jan Sch{\"a}fer
                  and Rudolf Schlatte and Martin Steffen},
  title =        {{ABS}: A Core Language for Abstract Behavioral Specification},
  booktitle =	 {Proc. 9th International Symposium on Formal Methods for
                  Components and Objects ({FMCO} 2010)},
  pages =        {142--164},
  editor =	 {Bernhard Aichernig and Frank S. de Boer and Marcello M. Bonsangue},
  year =         2011,
  series =       {Lecture Notes in Computer Science},
  volume =       6957,
  publisher =    {Springer-Verlag},
}