लेखक योगदान संकल्पना, पीपी; पद्धत, PL, AR, PPG, EG, SM, IL, SH आणि DP; सॉफ्टवेअर, पीएल, पीपी, एआर, ईजी आणि डीपी; प्रमाणीकरण, पीपी आणि एनके; औपचारिक विश्लेषण, PL; तपास, पीएल, पीपी, एआर, पीपीजी, एनके आणि डीपी; संसाधने, PL, AR, SM, IL...