Стиль цитування APA (7-ме видання)

(1990). Formal development of programs and proofs / edited by Edsger W. Dijkstra.

Чикаго стиль цитування (17-те видання)

Formal Development of Programs and Proofs / Edited by Edsger W. Dijkstra. 1990.

Стиль цитування MLA (9-ме видання)

Formal Development of Programs and Proofs / Edited by Edsger W. Dijkstra. 1990.

Попередження: стилі цитування не завжди правильні на всі 100%.