Hansen, T. A. Properties of Unfolding-Based Meta-Level Systems. DPB 1991, 20.