« Back to Record
Record Citations
APA Citation
(1990). Formal development of programs and proofs. New York: Addison-Wesley.
MLA CitationFormal Development of Programs and Proofs. New York: Addison-Wesley, 1990.
Warning: These citations may not always be 100% accurate.