Text this: Constructive methods in computing science :