APA (7th ed.) Citation

Smyth, M. B. (1983). Power domains and predicate transformers: A topological view.

Chicago Style (17th ed.) Citation

Smyth, M. B. Power Domains and Predicate Transformers: A Topological View. Edinburgh, 1983.

MLA (9th ed.) Citation

Smyth, M. B. Power Domains and Predicate Transformers: A Topological View. 1983.

Warning: These citations may not always be 100% accurate.