APA
Nissanke N., . (1999). Formal Specification, Techniques and Applications. : Springer.
Chicago
Nissanke Nimal, . 1999. Formal Specification, Techniques and Applications. : Springer.
Harvard
Nissanke N., . (1999). Formal Specification, Techniques and Applications. : Springer.
MLA
Nissanke Nimal, . Formal Specification, Techniques and Applications. : Springer. 1999.