NDC-space to Eye-space in ARB_fp

I’m stuck,

I’d like to go from NDC space to eye-space (or world-space would also be nice) in a fragment program.

How do I do this?

Thanks!