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