A-Normalization: Why and How (with code)
matt.might.net