Fully Effective Solutions of Recursive Domain Equations (1979)

by A Kanda
Venue:Mathematical Foundations of Computer Science