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