Dongmei Liu Hong Zhu 0002 Ian Bayley A Case Study on Algebraic Specification of Cloud Computing. 269-273 2013 PDP https://doi.org/10.1109/PDP.2013.46 https://doi.ieeecomputersociety.org/10.1109/PDP.2013.46 conf/pdp/2013 db/conf/pdp/pdp2013.html#LiuZB13