@book{35935,
	author = {Alagar, V.S. and Periyasamy, K. and SpringerLink (Online service)},
	title = {Specification of Software Systems},
	publisher = {Springer London :},
	year = {2011.},
	series = {Texts in Computer Science,},
	address = {London :},
	edition = {2nd Edition.},
	url = {http://dx.doi.org/10.1007/978-0-85729-277-3}
}