redirect to Spezification and Synthesis of Haskell programs