(1979). Proving programs correct / Robert B. Anderson.
Chicago Style (17. basım) AtıfProving Programs Correct / Robert B. Anderson. 1979.
MLA (9th ed.) AtıfProving Programs Correct / Robert B. Anderson. 1979.
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..