A = B - Marko Petkovsek; Herbert S Wilf; Doron Zeilberger (Taylor and Francis, 1996)