One Goal, Many Tasks, Many Devices: From Abstract User Task Specification to User Interfaces