APA (7th ed.) Citation

Senaratne, W. R. A. D. Z. (2000). Making formal methods more simple with few extensions to mathematical logic. Author.

Chicago Style (17th ed.) Citation

Senaratne, W. R. A. De Z. Making Formal Methods More Simple with Few Extensions to Mathematical Logic. [s.l.]: Author, 2000.

MLA (9th ed.) Citation

Senaratne, W. R. A. De Z. Making Formal Methods More Simple with Few Extensions to Mathematical Logic. Author, 2000.