Chris­toph Kreitz, Gerd Neu­ge­bauer und Bert­ram Frohn­höfer. Logic Oriented Program Synthesis. Tech­ni­scher Be­richt FKI-90-88, Tech­ni­sche Uni­ver­si­tät Mün­chen, April 1988.