David A. Basin Seán Matthews Structuring Metatheory on Inductive Definitions. 80-95 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#BasinM00