(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.
Čikaški stil citiranja (17. izdanje)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
MLA način citiranja (9. izdanje)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.