Automating meta-theory creation and system extension - Basin, David A.; Giunchiglia, Fausto; Traverso, Paolo (1991)