Chapter 5: Ordering Semantics Apr 12th, 2005 Chapter 5 of the lecture notes on ordering semantics is now downloadable.