Citace podle APA (7th ed.)

(2009). Theorem-proving support in programming language semantics. From Semantics to Computer Science, 337. https://doi.org/10.1017/CBO9780511770524.016

Citace podle Chicago (17th ed.)

"Theorem-proving Support in Programming Language Semantics." From Semantics to Computer Science 2009: 337. https://doi.org/10.1017/CBO9780511770524.016.

Citace podle MLA (9th ed.)

"Theorem-proving Support in Programming Language Semantics." From Semantics to Computer Science, 2009, p. 337, https://doi.org/10.1017/CBO9780511770524.016.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..