Cita APA (7a ed.)

Nissanke, N. (1999). Formal Specification: Techniques and applications. Springer.

Cita Chicago Style (17a ed.)

Nissanke, Nimal. Formal Specification: Techniques and Applications. London: Springer, 1999.

Cita MLA (8a ed.)

Nissanke, Nimal. Formal Specification: Techniques and Applications. Springer, 1999.