@book{76489,
	author = { Alex Simpson},
	title = {Foundations of Software Science and Computation Structures},
	publisher = {Springer International Publishing},
	year = {2019},
	series = {Lecture Notes in Computer Science; 11425},
	url = {https://link.springer.com/openurl?genre=book&isbn=978-3-030-17127-8}
}