Цитирование APA (7-е изд.)
Marmier, E. (1975). Automatic Verification of Pascal programs. Juris Druck+Verlag.
Цитирование в стиле Чикаго (17-е изд.)
Marmier, Edouard. Automatic Verification of Pascal Programs. Zürich: Juris Druck+Verlag, 1975.
Цитирование MLA (9-е изд.)
Marmier, Edouard. Automatic Verification of Pascal Programs. Juris Druck+Verlag, 1975.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.