Algebra refinement and amortized complexity in a functional setting (0)

by L A M Schoenmakers