APA-referens (7:e uppl.)
Jean-Raymond Abrial, U. G. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Springer.
Chicago-referens (17:e uppl.)
Jean-Raymond Abrial, Uwe Glässer. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Berlín, Alemania: Springer.
MLA-referens (9:e uppl.)
Jean-Raymond Abrial, Uwe Glässer. Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday. Springer.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.