Inverses in Program Synthesis (1989)

by O de Moor
Venue:In International summer school on constructive algorithmics, part II, Hollum - Ameland