Pierre America Frank S. de Boer Reasoning about Dynamically Evolving Process Structures. 269-316 1994 6 Formal Asp. Comput. 3 db/journals/fac/fac6.html#AmericaB94