JM08 = J. Marganiec, Ph.D. thesis, University of Lodz/ Poland (2008).