1.
Formal specification. London, Berlin, Paris: Springer; 1999.
Formal specification. London, Berlin, Paris : Springer, 8 mai 1999. ISBN 1-85233-002-3
Nissanke Nimal. (1999). Formal specification: Techniques and applications. Springer.
Style de citation MLA (8e éd.)Nissanke Nimal. Formal Specification: Techniques and Applications. Springer, 1999.
Attention : ces citations peuvent ne pas être correctes à 100%.