Proper bibliography and citations.
Merge.
Moved temporal contract grammar to overview. Added some overview.