@book{31635,
	author = {Oregan, Gerard},
	title = {Mathematical foundations of software engineering},
	publisher = {Springer,},
	year = {2023},
	address = {New York:},
	edition = {1st}
}