An Exploration of Implementation and Code Generation by the B-Toolkit (BiBTeX)

@Unpublished{hoang01:_java_translator,
  author =	 {Thai Son Hoang},
  title =	 {An exploration of implementation and code generation using
                  the B Toolkit},
  note =	 {Computer Engineering Thesis},
  month =	 jun,
  year =	 2001
}