Added description of Notation and Related Documentation