Pātuhitia tēnei: Mathematical foundation of computer science /