APA-Zitierstil (7. Ausg.)

(1983). Computer program synthesis methodologies: Proceedings of the NATO Advanced Study Institute, held at Bonas, France, Sept. 28 - Oct. 10, 1981. Reidel.

Chicago-Zitierstil (17. Ausg.)

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute, Held at Bonas, France, Sept. 28 - Oct. 10, 1981. Dordrecht: Reidel, 1983.

MLA-Zitierstil (9. Ausg.)

Computer Program Synthesis Methodologies: Proceedings of the NATO Advanced Study Institute, Held at Bonas, France, Sept. 28 - Oct. 10, 1981. Reidel, 1983.