David Lorge Parnas The Use of Mathematics in Software Engineering. 1 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220001.pdf db/conf/icfem/icfem2000.html#Parnas00