APA-viite

Havelund, K., Peleska, J., Roscoe, B., & Vink, E. d. (2020). Formal Methods. Springer International Publishing.

Chicago-tyylinen lähdeviittaus

Havelund, Klaus, Jan Peleska, Bill Roscoe, ja Erik de Vink. Formal Methods. Springer International Publishing, 2020.

MLA-viite

Havelund, Klaus, Jan Peleska, Bill Roscoe, ja Erik de Vink. Formal Methods. Springer International Publishing, 2020.

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