Style de citation APA (7e éd.)

(1995). Formal specification using Z: A modelling approach / Leonardo Bottaci and John Jones.

Style de citation Chicago (17e éd.)

Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.

Style de citation MLA (9e éd.)

Formal Specification Using Z: A Modelling Approach / Leonardo Bottaci and John Jones. 1995.

Attention : ces citations peuvent ne pas être correctes à 100%.