Computation of the classifying ring of formal groups with complex multiplication - A. Salch (2015)