@book{3380,
	author = {Astesiano, E.},
	title = {Algebraic foundations of systems specification},
	publisher = {Springer Publishing Company},
	address = {Gemany},
	url = {https://libgen.is/book/index.php?md5=EC5EA0204A2405A50FCF69D7801F4C73}
}