@inproceedings{735677,
 author = {Cousot, Patrick and Cousot, Radhia},
 title = {Compositional and Inductive Semantic Definitions in Fixpoint, Equational, Constraint, Closure-condition, Rule-based and Game-Theoretic Form},
 booktitle = {Proceedings of the 7th International Conference on Computer Aided Verification},
 year = {1995},
 isbn = {3-540-60045-0},
 pages = {293--308},
 publisher = {Springer-Verlag},
 address = {London, UK},
 }