I actually have read that. The problem is that in my book I'm having them skip Mars in favor of building a station on Phobos and two stations at solar L4 and L5. Mars is really little more than a tourist attraction, while the asteroid belt is where all the profit is, and the Jovian system is the big science draw. Human travel involves outgassing solar sails in the inner solar system, and nuclear powered magneto-ion drive in the outer. Methane and oxy are outdated as even the small Terra system (Lagrange stations, lunar bases, Earth, and Earth-orbit) shuttles use nuclear piles instead of chemical rockets so that they're reusable.
Perhaps it's easier if I break it down into steps.
1) Water and ammonia are prevalent in asteroids, as is methane to a lesser extent. Water provides the hydrogen (with a bonus of a store of oxygen) and amonia provides the nitrogen. I know it's easy enough to strip hydrogen off water with just electricity, but what's the easiest way to get nitrogen off ammonia? Will the electricity trick work there too?
2) Once you have pure hydrogen (H2) and nitrogen (N2) gasses, can they be catalyzed together using an electrified platinum screen or some such?