Hansen, T. A. (1991) “Properties of Unfolding-based Meta-level Systems”, DAIMI Report Series, 20(348). doi: 10.7146/dpb.v20i348.6578.