Being a hardware sort of bloke I would simply put a capacitor across the push button. It's not too critical but a 0.1uF usually does the trick. That way you solve the problem at source.
I think this solution would depend on what your entire circuit looks like. Without a pre-specified R part of the RC filter, the timescale of your capacitor's discharge (e.g. microseconds) could potentially be much shorter than the timescale over which the button bounces (e.g. milliseconds). Just something to watch out for.
- Ben