A.  Brogi, Renso, C., and Turini, F., ?Dynamic composition of parameterised logic modules?, Comput. Lang., vol. 25, pp. 211-242, 1999.