HE JIFENG, XIAOSHAN LI, & ZHIMING LIU. (2006, January 1). r COS : A refinement calculus of object systems. 365(1-2). Amsterdam: Elsevier, 2006. Retrieved from http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18291177
ISO-690 (author-date, English)HE JIFENG, XIAOSHAN LI and ZHIMING LIU, 2006. r COS : A refinement calculus of object systems. In: [online]. Amsterdam: Elsevier, 2006. 1 January 2006. Available from: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18291177
Modern Language Association 9th editionHE JIFENG, XIAOSHAN LI, and ZHIMING LIU. r COS : A refinement calculus of object systems. no. 1-2, Amsterdam: Elsevier, 2006., 2006, http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18291177.
Mohr Siebeck - Recht (Deutsch - Österreich)Emerald - Harvard
HE JIFENG, XIAOSHAN LI and ZHIMING LIU. (2006), “r COS : A refinement calculus of object systems”, in , Vol. 365, Amsterdam: Elsevier, 2006., available at: http://pascal-francis.inist.fr/vibad ndex.php?action=search&terms=18291177.