Partial evaluation and ω-completeness of algebraic specifications (1986)

by J Heering
Venue:Theoretical Computer Science