Hoare, C. (2015). Note about predicate transformers.
Citace podle Chicago (17th ed.)Hoare, C. Note About Predicate Transformers. 2015.
Citace podle MLA (9th ed.)Hoare, C. Note About Predicate Transformers. 2015.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..