Rein, Alexander. 2009. “Negative Application Conditions for Reconfigurable Algebraic High-Level Systems”. Electronic Communications of the EASST 14 (January). https://doi.org/10.14279/tuj.eceasst.14.191.