Duží, M., Jespersen, B., & Materna, P. (2010). Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands : Imprint: Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Duží, Marie, Bjorn Jespersen, και Pavel Materna. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Dordrecht: Springer Netherlands : Imprint: Springer, 2010.
Παραπομπή σε μορφή MLA (8th εκδ.)Duží, Marie, et al. Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic. Springer Netherlands : Imprint: Springer, 2010.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.