Цитирование APA (7-е изд.)
Joaquim A. Jorge, N. J. N. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Springer.
Цитирование в стиле Чикаго (17-е изд.)
Joaquim A. Jorge, Nuno Jardim Nunes. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Berlín, Alemania: Springer.
Цитирование MLA (9-е изд.)
Joaquim A. Jorge, Nuno Jardim Nunes. Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers. Springer.
Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.