El Ghazi, A. A., Ulbrich, M., Gladisch, C. D., Tyszberowicz, S., & Taghdiri, M. [ca. 2014]. On Verifying Relational Specifications of Java Programs with JKelloy. In Karlsruhe reports in informatics [Cd]. Karlsruhe: KIT Karlsruher Institut für Technologie.
ISO-690 (author-date, English)EL GHAZI, Aboubakr Achraf, ULBRICH, Mattias, GLADISCH, Christoph David, TYSZBEROWICZ, Shmuel und TAGHDIRI, Mana, 2014. On Verifying Relational Specifications of Java Programs with JKelloy. Karlsruhe: KIT Karlsruher Institut für Technologie.
Modern Language Association 9th editionEl Ghazi, A. A., M. Ulbrich, C. D. Gladisch, S. Tyszberowicz, und M. Taghdiri. „On Verifying Relational Specifications of Java Programs with JKelloy“. Karlsruhe reports in informatics, cd, KIT Karlsruher Institut für Technologie, 2014.
Mohr Siebeck - Recht (Deutsch - Österreich)El Ghazi, Aboubakr Achraf/Ulbrich, Mattias/Gladisch, Christoph David/Tyszberowicz, Shmuel/Taghdiri, Mana: On Verifying Relational Specifications of Java Programs with JKelloy, Karlsruhe 2014.
Emerald - HarvardEl Ghazi, A.A., Ulbrich, M., Gladisch, C.D., Tyszberowicz, S. und Taghdiri, M. (2014), On Verifying Relational Specifications of Java Programs with JKelloy, Karlsruhe reports in informatics, Bd. , KIT Karlsruher Institut für Technologie, Karlsruhe.