Bowen, J. (2003). Formal Speciï¬cation and Documentation using Z: A Case Study Approach. [k.x.đ]: [k.x.đ].
Trích dẫn kiểu ChicagoBowen, Jonathan. Formal Speciï¬cation and Documentation Using Z: A Case Study Approach. [k.x.đ]: [k.x.đ], 2003.
Trích dẫn MLABowen, Jonathan. Formal Speciï¬cation and Documentation Using Z: A Case Study Approach. [k.x.đ]: [k.x.đ], 2003.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.