APA-referens

Berg,H.K. Formal methods of program verification. Prentice-Hall.

Chicago-stil citat

Berg,H.K. Formal Methods of Program Verification. New Jersey: Prentice-Hall.

MLA-referens

Berg,H.K. Formal Methods of Program Verification. Prentice-Hall.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.