Gerd Neu­ge­bauer. Syn­the­sis of Sort­ing Al­go­rithms with the LOPS-Ap­proach. Tech­ni­cal Re­port ATP-56-II-86, Technische Universität München, 1986.