Enviar aquest missatge de text: Formal specification using Z: a modelling approach / Leonardo Bottaci and John Jones.