Download (Technical Report 147) (PDF, 3