Transforming acyclic programs - Bossi, Annalisa 1948- (Centrum voor Wiskunde en Informatica, 1993)