Algebra of Programming - R. Bird; O. D. Moore (PHI New Delhi, 1998)
Keywords: BE Computer