You are about to access our book library "Formal Description of Programming Concepts (IFIP State-of-the-Art Reports) full version" .