Constable, R. L., O'donnell, M. J., & Johnson, S. D. (1978). A programming logic with an introduction to the PL/CV verifier. Winthrop Publ..
Citácia podle Chicago (17th ed.)Constable, Robert L., Michael J. O'donnell, a Scott D. Johnson. A Programming Logic with an Introduction to the PL/CV Verifier. Cambridge: Winthrop Publ., 1978.
Citácia podľa MLA (8th ed.)Constable, Robert L., et al. A Programming Logic with an Introduction to the PL/CV Verifier. Winthrop Publ., 1978.
Upozornenie: Tieto citáce sú generované automaticky. Nemusia byť úplne správne podľa citačných pravidiel..