Interactive Systems. Design, Specification, and Verification

MLA

Doherty, Gavin, et al. Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg, 2007.

APA

Doherty, G., Blandford, A., Kanade, T., & Kittler, J. (2007). Interactive Systems. Design, Specification, and Verification. Springer Berlin Heidelberg.

Chicago

Doherty, Gavin, Ann Blandford, Takeo Kanade, and Josef Kittler. Interactive Systems. Design, Specification, and Verification. : Springer Berlin Heidelberg, 2007.