Pātuhitia tēnei: Symbol manipulation languages and techniques :