Mathematical foundations of computer science - Fejer, Peter A.; Simovici, Dan A.