Bowen, J. (2003). Formal Speciï¬cation and Documentation using Z: A Case Study Approach. [k.x.đ]: [k.x.đ].
Citação norma ChicagoBowen, Jonathan. Formal Speciï¬cation and Documentation Using Z: A Case Study Approach. [k.x.đ]: [k.x.đ], 2003.
Citação norma MLABowen, Jonathan. Formal Speciï¬cation and Documentation Using Z: A Case Study Approach. [k.x.đ]: [k.x.đ], 2003.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.