APA (7th ed.) Citation

Constable, R. L. (1976). Language features that support program verification: (illustrated in PL C).

Chicago Style (17th ed.) Citation

Constable, Robert Lee. Language Features That Support Program Verification: (illustrated in PL C). Ithaca, New York, 1976.

MLA (9th ed.) Citation

Constable, Robert Lee. Language Features That Support Program Verification: (illustrated in PL C). 1976.

Warning: These citations may not always be 100% accurate.