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

MILNE GEORGE. (1994). FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL.

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

MILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. NEW YORK: MCGRAW HILL, 1994.

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

MILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL, 1994.