@book{2231,
	author = {Alagar, V. S.},
	title = {Specification of Software Systems},
	publisher = {Springer Publishing Company},
	address = {New York},
	url = {https://libgen.is/book/index.php?md5=209515F507E9EC0141DFF62F623FCCF5}
}