APA (7th ed.) Citation

Shi, Z., Gu, W., Li, X., Guan, Y., Ye, S., Zhang, J., & Wei, H. The Gauge Integral Theory in HOL4. Wiley.

Chicago Style (17th ed.) Citation

Shi, Zhiping, Weiqing Gu, Xiaojuan Li, Yong Guan, Shiwei Ye, Jie Zhang, and Hongxing Wei. The Gauge Integral Theory in HOL4. Wiley.

MLA (9th ed.) Citation

Shi, Zhiping, et al. The Gauge Integral Theory in HOL4. Wiley.