Specification Case Studies in RAISE heftetEngelsk, 2002