@phdthesis{3260,
  author       = {{Wehrheim, Heike}},
  publisher    = {{University of Hildesheim, Germany}},
  title        = {{{Specifying reactive systems with action dependencies: modelling and hierarchical design}}},
  year         = {{1996}},
}