Goldschlag, D. (1990). Proving proof rules: A proof system for concurrent programs. Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security., Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on, 95. https://doi.org/10.1109/CMPASS.1990.175405
Παραπομπή σε μορφή Chicago (17η εκδ.)Goldschlag, D.M. "Proving Proof Rules: A Proof System for Concurrent Programs." Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security., Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on 1990: 95. https://doi.org/10.1109/CMPASS.1990.175405.
Παραπομπή σε μορφή MLA (9th εκδ.)Goldschlag, D.M. "Proving Proof Rules: A Proof System for Concurrent Programs." Fifth Annual Conference on Computer Assurance, Systems Integrity, Software Safety and Process Security., Computer Assurance, 1990. COMPASS '90, Systems Integrity, Software Safety and Process Security., Proceedings of the Fifth Annual Conference on, 1990, p. 95, https://doi.org/10.1109/CMPASS.1990.175405.