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