@book{34812,
	title = {Notes on theoretical foundations of computer science},
	publisher = {UGC,},
	year = {1988},
	address = {Ruhuna:}
}