APA (7th ed.) Zitazioa

(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.

Chicago Style (17th ed.) Zitazioa

Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.

MLA (9th ed.) Zitazioa

Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.

Kontuz: berrikusi erreferentzia hauek erabili aurretik.