C. Ullrich and J. Padberg, “Reconfigurable Open Algebraic High-Level Systems”, eceasst, vol. 14, Jan. 2009.