American Psychological Association 6th edition

BARBOSA, M. A. (2005, Januar 1). A refinement calculus for software components and architectures. Gehalten auf der. New York NY: Association for Computing Machinery, 2005. Abgerufen von http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18243340

ISO-690 (author-date, English)

BARBOSA, Marco Antonio, 2005. A refinement calculus for software components and architectures. In: [online]. New York NY: Association for Computing Machinery, 2005. 1 Januar 2005. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18243340

Modern Language Association 9th edition

BARBOSA, M. A. A refinement calculus for software components and architectures. New York NY: Association for Computing Machinery, 2005., 2005, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18243340.

Mohr Siebeck - Recht (Deutsch - Österreich)

Emerald - Harvard

BARBOSA, M.A. (2005), „A refinement calculus for software components and architectures“, in , Bd. , New York NY: Association for Computing Machinery, 2005., verfügbar unter: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18243340.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.