Using the Generalised Substitution Language for Event-B Semantics (BiBTeX)

@TechReport{hoang10:_using_gener_subst_languag_event_b_seman,
  author = 	 {Thai Son Hoang and Andreas F\"urst},
  title = 	 {Using the {Generalised Substitution Language} for
                  {Event-B} Semantics},
  institution =  {Department of Computer Science, ETH Zurich},
  year = 	 2010,
  number = 	 667,
  month = 	 apr,
  note =         {\url{http://www.inf.ethz.ch/research/disstechreps/techreports}}
}