Partial Inductive Definitions. Theoretical Computer Science 87 (1991)

by L Hallnäs