APA (7th ed.) Citation

Hoare, C. (2015). Note about predicate transformers.

Chicago Style (17th ed.) Citation

Hoare, C. Note About Predicate Transformers. 2015.

MLA (9th ed.) Citation

Hoare, C. Note About Predicate Transformers. 2015.

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