Towards synthesis : workbook - Fowler, W. S. (Longman, 1992)