@inproceedings{Hfner_MZ_12,
    address          = {Cambridge, UK},
    author           = {H\"ofner, Peter and M\"oller, Bernhard and Zelend, Andreas},
    booktitle        = {International Conference on Relational and Algebraic Methods in Computer Science},
    month            = sep,
    pages            = {16},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5917.pdf},
    title            = {Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming},
    year             = {2012}
  }