Sergio Cárdenas-García Marvin V. Zelkowitz Evaluation Criteria for Functional Specifications. 26-33 1990 ICSE db/conf/icse/icse90.html#Cardenas-GarciaZ90