Seol mar théacs é seo: Computer programming and formal systems /