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

Martin, A. (1997). Why effective proof tool support for Z is hard. Software Verification Research Centre.

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

Martin, A. Why Effective Proof Tool Support for Z Is Hard. Software Verification Research Centre, 1997.

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

Martin, A. Why Effective Proof Tool Support for Z Is Hard. Software Verification Research Centre, 1997.

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