Παραπομπή σε μορφή APA (7η εκδ.)

Gupta, U. G. (1993). Validating and verifying knowledge-based systems. IEEE Computer Society Press.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Gupta, Uma G. Validating and Verifying Knowledge-based Systems. Los Alamitas, Calif.: IEEE Computer Society Press, 1993.

Παραπομπή σε μορφή MLA (9th εκδ.)

Gupta, Uma G. Validating and Verifying Knowledge-based Systems. IEEE Computer Society Press, 1993.