(2009). Rigorous methods for software construction and analysis: Essays dedicated to Egon Börger on the occasion of his 60th birthday / volume editor, Jean-Raymond Abrial, Uwe Glässer.
Цитирование в стиле Чикаго (17-е изд.)Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / Volume Editor, Jean-Raymond Abrial, Uwe Glässer. 2009.
Цитирование MLA (9-е изд.)Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday / Volume Editor, Jean-Raymond Abrial, Uwe Glässer. 2009.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.