DSV-IS 2003 :Funchal, Madeira island, Portugal, Jorge, J. A., Jardim Nunes, N., & Falcao e Cunha, J. Interactive systems: Design, specification, and verification : 10th international workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, june 11-13, 2003 : revised papers. Springer.
Čikaški stil citiranja (17. izdanje)DSV-IS 2003 :Funchal, Madeira island, Portugal, Joaquim A. Jorge, Nuno Jardim Nunes, i Joao Falcao e Cunha. Interactive Systems: Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : Revised Papers. Berlin [etc.]: Springer.
MLA način citiranja (8. izdanje)DSV-IS 2003 :Funchal, Madeira island, Portugal, et al. Interactive Systems: Design, Specification, and Verification : 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003 : Revised Papers. Springer.