Towards semantics of guarded induction - ́Pavlovic, D (Kestrel Institute, 1998)