@workingPaper{Heckmann_1990, title={Power domain constructions}, author={Heckmann, Reinhold}, doi={http://dx.doi.org/10.22028/D291-26443}, year={1990} }