APA-referens (7:e uppl.)

Proceedings of the 2005 conference on Specification and verification of component-based systems. Association for Computing Machinery (ACM).

Chicago-referens (17:e uppl.)

Proceedings of the 2005 Conference on Specification and Verification of Component-based Systems. Association for Computing Machinery (ACM).

MLA-referens (9:e uppl.)

Proceedings of the 2005 Conference on Specification and Verification of Component-based Systems. Association for Computing Machinery (ACM).

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.