@Article{johnsen08fundamenta,
  author =	 {Einar Broch Johnsen and Olaf Owe and Arild B.\
                  Torjusen},
  title =	 {Validating Behavioral Component Interfaces in
                  Rewriting Logic},
  journal =	 {Fundamenta Informaticae},
  year =	 2008,
  volume =	 82,
  number =	 4,
  pages =	 {341--359}
}