MILNE GEORGE. (1994). FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL.
Չիկագոյի ոճի (17րդ խմբ.) մեջբերումMILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. NEW YORK: MCGRAW HILL, 1994.
MLA (9րդ խմբ.) ՄեջբերումMILNE GEORGE. FORMAL SPECIFICATION & VERIFICATION OF DIGITAL SYSTEMS. MCGRAW HILL, 1994.
Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.