| Authors | O. Lysne and O. Owe |
| Title | Definedness and Strictness in Generator Inductive Definitions |
| Status | Published |
| Publication Type | Technical reports |
| Year of Publication | 1991 |
| Number | 161 |
| Publisher | Department of Informatics, University of Oslo |
| Notes | Also presented at the 3rd Nordic Workshop on Program Correctness, Göteborg (Sweden) |
| Citation Key | ND.7.LYSNE.1991 |
By thinking constantly about it…