Pugh W.  1994.  Counting solutions to Presburger formulas: how and why. ACM SIGPLAN Notices. 29(6):121-134.