A Theory of Inductive Definitions with (2000)

by M J Gabbay