Code Selection by Inversion of Order-Sorted Derivors (1990)

by R Giegerich
Venue:Theor. Comput. Sci