Add new documentation and specification example