Title: Reasoning about systems with evolving structure
First published: 1996