@misc{12995,
  author = {Olav Lysne and O. Owe},
  title = {Definedness and Strictness in Generator Inductive Definitions},
  year = {1991},
  number = {161},
  publisher = {Department of Informatics, University of Oslo},
  note = {Also presented at the 3rd Nordic Workshop on Program Correctness, G\öteborg (Sweden)},
}