Warwick Computer Science Notes