Copyright
© 2012 by Peter Krautzberger and the original sources, http://boolesrings.org/krautzberger.