Gerd Neu­ge­bauer. Synthesis of Sorting Algorithms with the LOPS-Approach. Tech­ni­scher Be­richt ATP-56-II-86, Tech­ni­sche Uni­ver­si­tät Mün­chen, 1986.