Gerd Neu­ge­bauer, Bertram Frohn­höfer, and Chris­toph Kreitz. XPRTS – An Im­ple­men­ta­ti­on Tool for Pro­gram Syn­the­sis. In D. Metzing, edi­tor, GWAI’89, pa­ges 348–357, Ber­lin, 1989. Springer.