APA-čujuhus (7. p.)
Achim D. Brucker, J. J. Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings. Springer.
Chicago-čujuhus (17. p.)
Achim D. Brucker, Jacques Julliand. Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings. Berlín, Alemania: Springer.
MLA-čujuhus (9. p.)
Achim D. Brucker, Jacques Julliand. Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 -- June 1, 2012. Proceedings. Springer.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.