Berg. Non-deterministic Inductive Definitions. 14 Sept. 2012.