Fully effective solutions of recursive domain equations (1979)

by A Kanda
Venue:Mathematical Foundations of Computer Science