A Case Study on Algebraic Specification of Cloud Computing | IEEE Conference Publication | IEEE Xplore