@book{529835,
	author = {Beckman F.S.},
	title = {Mathematical foundations of programming},
	publisher = { Addison-Wesley pub},
	year = {1980},
	address = {London}
}