Data Structure Choice - Formal Different door Ssu-Cheng Liu