大卫·斯图亚特·罗伯逊0001 杰姆·阿古斯蒂-卡莱尔 简·赫斯基 乔迪·利维 使用精化格表达程序需求。 163-182 1994 21 芬丹。信息学 三 db/journals/fuin/fuin21.html#RobertsonAHL94 https://doi.org/10.3233/FI-1994-2131