Seol mar théacs é seo: The correctness problem in computer science /