%0 Journal Article
%T 面向对象的规范描述及转换
%A 彭智勇？
%J 计算机科学
%D 1990
%K 面向对象规范描述程序设计
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=297151&flag=1