APA (7th ed.) Zitazioa
Zhiming Liu, J. W. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer.
Chicago Style (17th ed.) Zitazioa
Zhiming Liu, Jim Woodcock. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Berlín, Alemania: Springer.
MLA (9th ed.) Zitazioa
Zhiming Liu, Jim Woodcock. Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer.
Kontuz: berrikusi erreferentzia hauek erabili aurretik.