APA (7th ed.) Citation

DSV-IS 2001 Glasgow, Scotland, SpringerLink (Online service), & Johnson, C. (2001). Interactive systems: Design, specification, and verification : 8th international workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : revised papers. Springer.

Chicago Style (17th ed.) Citation

DSV-IS 2001 Glasgow, Scotland, SpringerLink (Online service), and Chris Johnson. Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : Revised Papers. Berlin ; New York: Springer, 2001.

MLA (9th ed.) Citation

DSV-IS 2001 Glasgow, Scotland, et al. Interactive Systems: Design, Specification, and Verification : 8th International Workshop, DSV-IS 2001, Glasgow, Scotland, UK, June 13-15, 2001 : Revised Papers. Springer, 2001.