Formal presentation model used in scope door Hans Berends