@article{Hoefner_Moller_16,
    author           = {H\"ofner, Peter and M\"oller, Bernhard},
    doi              = {10.1016/j.jlamp.2015.12.002},
    journal          = {Journal of Logical and Algebraic Methods in Programming},
    month            = jun,
    number           = {5},
    pages            = {952--971},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8839.pdf},
    title            = {Extended Feature Algebra},
    volume           = {85},
    year             = {2016}
  }