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