Стиль цитування APA (7-ме видання)

Constable, R., & Moczydlowski, W. (2008). Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V.

Чикаго стиль цитування (17-те видання)

Constable, Robert, та Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.

Стиль цитування MLA (9-ме видання)

Constable, Robert, та Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.

Попередження: стилі цитування не завжди правильні на всі 100%.