Arun Venkataraman Murali Rangarajan Perry Alexander Composing Specifications in VSPEC. 45- 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220045abs.htm db/conf/icfem/icfem2000.html#VenkataramanRA00