Negative Application Conditions for Reconfigurable Algebraic High-Level Systems - Rein, Alexander (Electronic Communications of the EASST, 2009)