Pat Ferdinandi The Requirement Set. 63 2000 ICRE http://computer.org/proceedings/icre/0565/05650063abs.htm db/conf/icre/icre2000.html#Ferdinandi00