ISO-690 (author-date, English)

BISHOP, Steve, FAIRBAIRN, Matthew, MEHNERT, Hannes, NORRISH, Michael, RIDGE, Tom, SEWELL, Peter, SMITH, Michael und WANSBROUGH, Keith, 2019. Engineering with Logic. Journal of the ACM. 1 Januar 2019. Vol. 66, no. 1, p. 1-77. DOI 10.1145/3243650.

Elsevier - Harvard (with titles)

Bishop, S., Fairbairn, M., Mehnert, H., Norrish, M., Ridge, T., Sewell, P., Smith, M., Wansbrough, K., 2019. Engineering with Logic. Journal of the ACM 66, 1-77. https://doi.org/10.1145/3243650

American Psychological Association 7th edition

Bishop, S., Fairbairn, M., Mehnert, H., Norrish, M., Ridge, T., Sewell, P., Smith, M., & Wansbrough, K. (2019). Engineering with Logic. Journal of the ACM, 66(1), 1-77. https://doi.org/10.1145/3243650

Springer - Basic (author-date)

Bishop S, Fairbairn M, Mehnert H, Norrish M, Ridge T, Sewell P, Smith M, Wansbrough K (2019) Engineering with Logic.. Journal of the ACM 66:1-77. https://doi.org/10.1145/3243650

Juristische Zitierweise (Stüber) (Deutsch)

Bishop, Steve/ Fairbairn, Matthew/ Mehnert, Hannes/ Norrish, Michael/ Ridge, Tom/ Sewell, Peter/ Smith, Michael/ Wansbrough, Keith, Engineering with Logic., Journal of the ACM 2019, 1-77.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.