America and de Boer (1993)
America P. and de Boer F. (1993)
Reasoning about dynamically evolving process structures
Formal Aspects of Computing 3, pp. 1-53