Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form. - Cousot, Patrick; Cousot, Radhia (1995)