Shuzo Takahashi Monotone Inductive Definitions in a Constructive Theory of Functions and Classes. 255-297 1989 42 Ann. Pure Appl. Logic 3 db/journals/apal/apal42.html#Takahashi89