@inproceedings{PDP-2013-LiuZB,
	author        = "Dongmei Liu and Hong Zhu and Ian Bayley",
	booktitle     = "{Proceedings of the 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing}",
	doi           = "10.1109/PDP.2013.46",
	isbn          = "978-1-4673-5321-2",
	pages         = "269--273",
	publisher     = "{IEEE Computer Society}",
	title         = "{A Case Study on Algebraic Specification of Cloud Computing}",
	year          = 2013,
}