APA-viite (7. p.)
Chris Johnson. Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers. Springer.
Chicago-viite (17. p.)
Chris Johnson. Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers. Berlín, Alemania: Springer.
MLA-viite (9. p.)
Chris Johnson. Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers. Springer.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.