APA (7th ed.) Citation

Madden, P., & Bundy, A. (1993). General techniques for automatic program optimization and synthesis through theorem proving.

Chicago Style (17th ed.) Citation

Madden, Peter, and Alan Bundy. General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. Edinburgh, 1993.

MLA (9th ed.) Citation

Madden, Peter, and Alan Bundy. General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving. 1993.