Westphal, Bernd (2008) Specification and verification of dynamic topology systems: on the applicability of query- and data-type-reduction-based abstractions. PhD, Universität Oldenburg.