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

ALBA CASTRO, M. F. Abstract Certification of Java Programs in Rewriting Logic.

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

ALBA CASTRO, MAURICIO FERNANDO. Abstract Certification of Java Programs in Rewriting Logic.

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

ALBA CASTRO, MAURICIO FERNANDO. Abstract Certification of Java Programs in Rewriting Logic.

Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.