Proof-read the design document. Some minor changes. References added.