Gaya APA

service), S, (. et al (). ZB 2005: Formal Specification and Development in Z and B (1st ed. 2005.). : .

Gaya MLA

service), SpringerLink, (Online. et al. "ZB 2005: Formal Specification and Development in Z and B". 1st ed. 2005. : , . E Book.