* [FIXPOINT] Added document and section on fixpoint semantics.
* [FIXPOINT] Added a figure showing an example of a fixpoint situation.
Added BiBTeX files.