%0 Journal Article %T 图回路算法的演绎综合 %A 黄明和 刘润杰? %J 计算机科学 %D 1999 %K 软件开发图回路算法演绎综合程序变换 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=3747155&flag=1