De novo markup language, a standard to represent de novo sequencing results from MS/MS data | IEEE Conference Publication | IEEE Xplore