A flexible standard programming system for hybrid computation. - Wolfgang K. Giloi; Dieter E. Beckert; Hans C. Liebig (AFIPS Spring Joint Computing Conference, 1969)

A Formalism for Description and Synthesis of Logical Algorithms and their Hardware Implementation. - Wolfgang K. Giloi; Hans C. Liebig (IEEE Trans. Computers, 1974)