@book{29520,
	author = {Lall, A},
	title = {Mathematical foundations of computer science/},
	publisher = {CRC Press Publishing},
	year = {2025},
	address = {London}
}