Citazione Stile APA (7a Edizione)

National Computer Security Center (U.S.), Mayer, B., & Lu, M. M. (1989). Guidelines for formal verification systems. National Computer Security Center ; For sale by the Supt. of Docs., U.S. G.P.O..

Citazione stile Chigago Style (17a edizione)

National Computer Security Center (U.S.), Barbara Mayer, e Monica McGill Lu. Guidelines for Formal Verification Systems. Fort George G. Meade, Md. : Washington, D.C.: National Computer Security Center ; For sale by the Supt. of Docs., U.S. G.P.O., 1989.

Citatione MLA (8a ed.)

National Computer Security Center (U.S.), et al. Guidelines for Formal Verification Systems. National Computer Security Center ; For sale by the Supt. of Docs., U.S. G.P.O., 1989.