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

by J Heering
Venue:Theoretical Computer Science