Reading off a Bouncing Push Button

Maybe looking at Debounce (http://arduino.cc/en/Tutorial/Debounce) and adapting it to interrupt use.