Lua APA (7ú heag.)

(2005). Formal methods in computing / edited by Ferenczi, M., Pataricza, A., Rónyai, L.

Lua i Stíl Chicago (17ú heag.)

Formal Methods in Computing / Edited by Ferenczi, M., Pataricza, A., Rónyai, L. 2005.

Lua MLA (9ú heag.)

Formal Methods in Computing / Edited by Ferenczi, M., Pataricza, A., Rónyai, L. 2005.

Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.