On transformation of logic specifications into procedural programs. - Janet M. Lin; Jie-Yong Juang; Stephen S. Yau (TAI, 1989)