Authors: STANDAERT BB FINNEY K TAYLOR MT COLEMAN RT HOROWITZ CL WALTER SM MURPHY TF

Citation: Bb. Standaert et al., COMPARISON BETWEEN CEFPROZIL AND PENICILLIN TO ERADICATE PHARYNGEAL COLONIZATION OF GROUP-A BETA-HEMOLYTIC STREPTOCOCCI, The Pediatric infectious disease journal, 17(1), 1998, pp. 39-43

Authors: FINNEY K RENNOLLS K FEDOREC A

Citation: K. Finney et al., MEASURING THE COMPREHENSIBILITY OF Z-SPECIFICATIONS, The Journal of systems and software, 42(1), 1998, pp. 3-15

Authors: FINNEY K FENTON N

Citation: K. Finney et N. Fenton, EVALUATING THE EFFECTIVENESS OF Z - THE CLAIMS MADE ABOUT CICS AND WHERE WE GO FROM HERE, The Journal of systems and software, 35(3), 1996, pp. 209-216

Authors: FINNEY K

Citation: K. Finney, MATHEMATICAL NOTATION IN FORMAL SPECIFICATION - TOO DIFFICULT FOR THEMASSES, IEEE transactions on software engineering, 22(2), 1996, pp. 158-159