Bowen, J. Formal Specification and Documentation Using Z: A Case Study Approach / Jonathan Bowen. Thomson Computer Press.
Trích dẫn kiểu ChicagoBowen, Jonathan. Formal Specification and Documentation Using Z: A Case Study Approach / Jonathan Bowen. Thomson Computer Press.
Trích dẫn MLABowen, Jonathan. Formal Specification and Documentation Using Z: A Case Study Approach / Jonathan Bowen. Thomson Computer Press.
Cảnh báo! Những trích dẫn này có thể không chính xác 100%.