Kevin Lano Kelly Androutsopoulos Pauline Kan Structuring Reactive Systems in B AMN. 25-34 2000 ICFEM http://computer.org/proceedings/icfem/0822/08220025abs.htm db/conf/icfem/icfem2000.html#LanoAK00