Functional programming, program transformations and compiler construction : proefschrift . - Augusteijn, Alexander, 1957- (Philips Natuurkundig Laboratorium?], 1993)