Παραπομπή σε μορφή APA (7η εκδ.)

Herde, C. (2011). Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems. Vieweg+Teubner.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems. Wiesbaden: Vieweg+Teubner, 2011.

Παραπομπή σε μορφή MLA (8th εκδ.)

Herde, Christian. Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure: Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems. Vieweg+Teubner, 2011.