Berg,H.K. Formal methods of program verification. Prentice-Hall.
استشهاد بنمط شيكاغوBerg,H.K. Formal Methods of Program Verification. New Jersey: Prentice-Hall.
MLA استشهادBerg,H.K. Formal Methods of Program Verification. Prentice-Hall.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.