Formal Discussion on Relationship between Virtualization and Cloud Computing. - Hanfei Dong; Qinfen Hao; Tiegang Zhang; Bing Zhang (PDCAT, 2010)