3 books
Data Structure Choice Formal Differentiation Two Papers on Very High Level Program Optimization
Deutsche Revue (5 )
Data Structure Choice / Formal Differentiation. by Ssu-Cheng Liu and Robert Paige