@article{DBLP:journals/fac/DaviesS94,
  title = "Recursion Induction for Real-Time Processes",
  author = "Jim Davies and Steve Schneider",
  year = "1994",
  journal = "Formal Aspects of Computing",
  number = "6",
  pages = "530-553",
  volume = "5",
}