@techreport{PavlovicD:GUA,
  title = "Towards semantics of guarded induction",
  author = "Dusko Pavlovi\'c",
  year = "1998",
  institution = "Kestrel Institute",
  month = "dec",
}