Não informado. (1989). Formal Aspects of Computing. Springer International.
Chicago-viite (17. p.)Não informado. Formal Aspects of Computing. London: Springer International, 1989.
MLA-viite (8. p.)Não informado. Formal Aspects of Computing. Springer International, 1989.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.