MILNE GEORGE. (1994). FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL.
Chicago (17e ed.) BronvermeldingMILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. NEW YORK: MCGRAW HILL, 1994.
MLA (9e ed.) BronvermeldingMILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL, 1994.
Let op: Deze citaties zijn niet altijd 100% accuraat.