(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.
Citazione stile Chigago Style (17a edizione)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Citatione MLA (9a ed.)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.