Não informado. (1989). Formal Aspects of Computing. Springer International.
Lua i Stíl Chicago (17ú heag.)Não informado. Formal Aspects of Computing. London: Springer International, 1989.
Lua MLA (8ú heag.)Não informado. Formal Aspects of Computing. Springer International, 1989.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.