Added comments/corrections of B. Davids to DesignPrinciples section, and updated some references.