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

(1999). Formal verification of the AAMP-FV microcode / Steven P. Miller [and others].

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

Formal Verification of the AAMP-FV Microcode / Steven P. Miller [and Others]. 1999.

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

Formal Verification of the AAMP-FV Microcode / Steven P. Miller [and Others]. 1999.