Carlos E. Cuesta, Pablo de la Fuente, Manuel Barrio-Solórzano, Maria Encarnación Beato Gutiérrez. An abstract process approach to algebraic dynamic architecture description. Journal of Logic and Algebraic Programming, 63(2):177-214, 2005. [doi]
Abstract is missing.