On the control-subroutine implementation of subprogram synthesis. - Cheng-Tsung Hwang; Hsiao-Chien Weng; Yu-Chin Hsu; Mike Tien-Chien Lee (ASP-DAC, 1997)