Anthony Finkelstein Colin Potts Formalizing Requirements Systematically. 44-57 1987 conf/emisa/1987 EMISA db/conf/emisa/emisa1987.html#FinkelsteinP87