APA citiranje

Doherty, G., & Blandford, A. (2020). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.

Trích dẫn kiểu Chicago

Doherty, Gavin, và Ann Blandford. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.

MLA citiranje

Doherty, Gavin, và Ann Blandford. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2020.