APA (7 ম সংস্করণ) উদ্ধৃতি

SpringerLink (Online service), Woodcock, J., Zhu, H., & Liu, Z. (2013). Theories of programming and formal methods: Essays dedicated to Jifeng He on the occasion of his 70th birthday. Springer Berlin Heidelberg.

শিকাগো স্টাইল (17 তম সংস্করণ) উদ্ধৃতি

SpringerLink (Online service), Jim Woodcock, Huibiao Zhu, এবং Zhiming Liu. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013.

M.L.A (8 ম সংস্করণ) উদ্ধৃতি

SpringerLink (Online service), et al. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer Berlin Heidelberg, 2013.