(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.
Чикаго стиль цитування (17-те видання)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Стиль цитування MLA (9-ме видання)Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.
Попередження: стилі цитування не завжди правильні на всі 100%.