@book{30268,
	author = {Alagar, V.S. and Periyasamy, K.},
	title = {Specification of software systems},
	publisher = {Springer,},
	year = {1998},
	address = {New York:}
}