APA-viite

Honda, K., & Yoshida, N. A unified theory of program logics: An approach based on the pi-calculus.

Chicago-tyylinen lähdeviittaus

Honda, Kohei., ja Nobuko Yoshida. A Unified Theory of Program Logics: An Approach Based On the Pi-calculus.

MLA-viite

Honda, Kohei., ja Nobuko Yoshida. A Unified Theory of Program Logics: An Approach Based On the Pi-calculus.

Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.