Seol mar théacs é seo: Mathematical foundation of computer science /