You are about to access our book library "Formal descriptions of developing systems. (NATO science series. Series II: Math full version" .