Update specification : implementation, documentation, validation sections