%0 Journal Article
%T 程序推导的表示
%A 吕建国 徐家福？
%J 计算机科学
%D 1991
%K 程序推导软件自动化类比程序设计
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=536688&flag=1