HKU architecture papers : V.1.: Hour 25 - Choi, Kit Wang (Gordon Golf, 2012)