Francesco Parisi-Presicce Foundations of Rule-Based Design of Modular Systems. 131-155 1991 83 Theor. Comput. Sci. 1 db/journals/tcs/tcs83.html#Parisi-Presicce91